Nanson formula