Revision #895 → #1501 · back to history
added22/7 exceeds π519f1a3f533e
added22/7 as Diophantine approximation of π05d140e62311
addedArchimedes' proof via 96-gon50e0156ca5c8
addedDalzell's integral proof357b923ff23d
addedIntegral is positive437841439ca1
addedEvaluation of the integral7d3c9343c0d2
addedDalzell quick upper and lower bounds601868a41c30
added355/113 exceeds π73fbdb3d7bca
addedBounds for 355/113 approximationda511b69ee18
addedGeneral integral family approximating π2739e157c7a7
addedCorrection term and error bound985b42c3f54f
addedRecursive integral formula7c5c7639fea1
addedIntegration by parts identity0687383e5b0a
addedn = 2 bounds0834d4c128d1
addedn = 3 boundsa5094242f4a2
addedn = 4 bounds2b1ce64858ab