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π=1123882−225838823⋅12⋅1⋅342+440438825⋅1⋅32⋅4⋅1⋅3⋅5⋅742⋅82−… 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=1−13+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 π≈24√nlog(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 sinxx≤2+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