| has gloss | eng: Proofs of the famous mathematical result that the rational number 22⁄7 is greater than π date back to antiquity. What follows is a one-line modern mathematical proof that 22⁄7 > π, requiring only elementary techniques from calculus. The purpose is not primarily to convince the reader that 22⁄7 is indeed bigger than π; systematic methods of computing the value of π exist. Unlike some elementary proofs, the calculus-based proof presented here is straightforward; its elegance results from its connections to the theory of diophantine approximations. Stephen Lucas calls this proposition "One of the more beautiful results related to approximating π". Julian Havil ends a discussion of continued fraction approximations of π with the result, describing it as "impossible to resist mentioning" in that context. |
| lexicalization | eng: A simple proof that 22/7 exceeds IEU |
| lexicalization | eng: A simple proof that 22/7 exceeds I€ |
| lexicalization | eng: A simple proof that 22/7 exceeds p |
| lexicalization | eng: A very elementary proof that 22/7 exceeds p |
| lexicalization | eng: Proof that 22 over 7 exceeds p |
| lexicalization | eng: Proof that 22/7 exceeds p |
| lexicalization | eng: Proof that 22/7 exceeds π |
| lexicalization | eng: Yuelue |
| instance of | c/Article proofs |