English
π is greater than 3.14159265358979323846.
Русский
π больше 3.14159265358979323846.
LaTeX
$$$3.14159265358979323846 < \\pi$$$
Lean4
theorem pi_gt_d20 : 3.14159265358979323846 < π := by
-- bound[314159265358979323846*^-20, Iters -> 34, Rounding -> .6, Precision -> 46]
pi_lower_bound [671574048197 / 474874563549, 58134718954 / 31462283181, 3090459598621 / 1575502640777,
2 - 7143849599 / 741790664068, 8431536490061 / 4220852446654, 2 - 2725579171 / 4524814682468,
2 - 2494895647 / 16566776788806, 2 - 608997841 / 16175484287402, 2 - 942567063 / 100141194694075,
2 - 341084060 / 144951150987041, 2 - 213717653 / 363295959742218, 2 - 71906926 / 488934711121807,
2 - 29337101 / 797916288104986, 2 - 45326311 / 4931175952730065, 2 - 7506877 / 3266776448781479,
2 - 5854787 / 10191338039232571, 2 - 4538642 / 31601378399861717, 2 - 276149 / 7691013341581098,
2 - 350197 / 39013283396653714, 2 - 442757 / 197299283738495963, 2 - 632505 / 1127415566199968707,
2 - 1157 / 8249230030392285, 2 - 205461 / 5859619883403334178, 2 - 33721 / 3846807755987625852,
2 - 11654 / 5317837263222296743, 2 - 8162 / 14897610345776687857, 2 - 731 / 5337002285107943372,
2 - 1320 / 38549072592845336201, 2 - 707 / 82588467645883795866, 2 - 53 / 24764858756615791675,
2 - 237 / 442963888703240952920, 2 - 128 / 956951523274512100791, 2 - 32 / 956951523274512100783,
2 - 27 / 3229711391051478340136]
