Simplest way to get the lower bound π>3.14\pi > 3.14

Inspired from this answer and my comment to it, I seek alternative ways to establish π>3.14. The goal is to achieve simpler/easy to understand approaches as well as to minimize the calculations involved. The method in my comment is based on Ramanujan’s series 4π=1123882225838823121342+440438825132413574282 This is quite hard to understand (at least in my opinion, see the blog posts to convince yourself) but achieves the goal of minimal calculations with evaluation of just the first term being necessary.

On the other end of spectrum is the reasonably easy to understand series
π4=113+15
But this requires a large number of terms to get any reasonable accuracy. I would like a happy compromise between the two and approaches based on other ideas apart from series are also welcome.


A previous question of mine gives an approach to estimate the error in truncating the Leibniz series (2) and it gives bounds for π with very little amount of calculation. However it requires the use of continued fractions and proving the desired continued fraction does require some effort.


Another set of approximations to π from below are obtained using Ramanujan’s class invariant gn namely π24nlog(21/4gn) and n=10 gives the approximation π3.14122 but this approach has a story similar to that of equation (1).

Answer

From the elementary inequality sinxx2+cosx3, we get with x=π/6 easily π184+3=3.1402
Proof of the inequality (elementary, though not obvious): let f(x)=sinxx(2+cosx). In order to prove f(x)lim, we prove f(x)\le f(x/2). That follows from f(x)=f(x/2)\,\frac{(2+\cos x/2)\cos x/2}{1+2\cos^2 x/2}, since with c=\cos x/2, we have \frac{(2+c)c}{1+2c^2}=1-\frac{(1-c)^2}{1+2c^2}\le1.

Attribution
Source : Link , Question Author : Paramanand Singh , Answer Author : Community

Leave a Comment