M000383

$$\pi=20\arctan\left(\frac{1}{7}\right)+8\arctan\left(\frac{1}{28}\right)+8\arctan\left(\frac{1}{443}\right)$$
Compact formula20[7] + 8[28] + 8[443]
Lehmer's measure2.25217
References
STØRMER (1896) (full reference coming soon)