M000000371

$$\pi=16\arctan\left(\frac{1}{5}\right)-8\arctan\left(\frac{1}{408}\right)+4\arctan\left(\frac{1}{1393}\right)$$

Compact formula	`16[5] - 8[408] + 4[1393]`
Lehmer's measure	2.13179
References	Størmer, Carl. Solution complète en nombres entiers m, n, x, y et k de l'équation marctang(1/x) + narctang(1/y) = kπ/4, chapter 11 in Skrifter udgivne af Vidensakbsselskabet i Christiania I. Mathematisk-naturvidenskabelig klasse, 11.1–11.21, 1896. Download references as BibTeΧ