M000000477

$$\pi=4\arctan\left(\frac{1}{2}\right)+4\arctan\left(\frac{1}{4}\right)+4\arctan\left(\frac{1}{13}\right)$$

Compact formula	`4[2] + 4[4] + 4[13]`
Lehmer's measure	5.88060
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Χ