Showing $\sqrt{\frac{e}{2}}\cdot\frac{e}{\pi}\left(\frac{e}{2}-\frac{1}{e}\right)<1$ without a calculator

Question

Show that:

$$\sqrt{\frac{e}{2}}\cdot\frac{e}{\pi}\left(\frac{e}{2}-\frac{1}{e}\right)<1$$

I have tried power series of exponential around $0$ wich is :

$$e^x=1+x+\frac{x^2}{2}+O(x^3)$$

We can pursue it with another order .

Edit :

An inequality due to Nanjundiah states for $n\geq 1$ a natural number:

$$\left(1+\frac{1}{n}\right)^{\left(n+\frac{1}{2}\right)}>e$$

Edit 2 :

An inequality due to Bennett states for $x$ a real number $m,n$ natural numbers and $m,n>x$ then :

$$\left(1+\frac{x}{m}\right)^{m}\left(1-\frac{x}{n}\right)^{n}<1$$

There is a little mistake in the statement of the edit 2 we need $x\neq 0$

For $\pi$ I have tried the continued fraction see wikipedia

Edit 3 :

I transform the product into a sum using :

$$\ln(x)\leq x-1$$

For $x>0$ so we need to show :

$$\sqrt{\frac{e}{2}}\cdot\frac{e}{\pi}-1+\left(\frac{e}{2}-\frac{1}{e}\right)-1<0$$

Wich is true numerically but I have not a proof yet of this transformation .

A interesting function is :

$$f(x)=\left(\sqrt{\frac{e}{2}}\cdot\frac{e}{\pi}\right)-\frac{1}{x}+\left(\frac{e}{2}-\frac{x}{e^{x}}\right)-x$$

Numerically we have $f(x)<0$ for $x>0$ and $f'(1)=0$

Question: How to show it by hand without a calculator?

Answer 1

A piece of sheer numerical good luck makes the calculation fairly painless.

I'll take this inequality to be well known: $$ \pi > \frac{333}{106}. $$ (I don't know a simple proof. For some that aren't simple, see Is there an integral that proves $\pi > 333/106$?.)

From $e$ Continued Fraction --- from Wolfram MathWorld, we have: $$ e < \frac{193}{71}. $$

Therefore, it is enough to prove: $$ \sqrt{\frac{193}{2\cdot71}} < \frac{333}{106}\left(\frac{193^2}{2\cdot71^2} - 1\right)^{-1}. $$ But \begin{multline*} 193^2 - 2\cdot71^2 = (200 - 7)^2 - 2(70 + 1)^2 = (40000 - 2800 + 49) - 2(4900 + 140 + 1) \\ = 37249 - 10082 = 27167 = 7\cdot3881, \end{multline*} and the right hand side of the required inequality simplifies to: $$ \frac{2\cdot3\cdot111\cdot71^2}{2\cdot7\cdot53\cdot3881} = \frac{426\cdot7881}{371\cdot7762} > \frac{426\cdot7882}{371\cdot7763} = \frac{426\cdot1126}{371\cdot1109} = \frac{426}{371}\left(1 + \frac{17}{1109}\right), $$ where we have used the fact that if $y > x > 0$ then $\frac{y}{x} > \frac{y + 1}{x + 1}.$

Now comes the piece of luck: $$ \frac{1109}{17} = 65 + \frac4{17} < 65 + \frac14 = \frac{261}4, \text{ whence } 1 + \frac{17}{1109} > 1 + \frac4{261}, $$ whence the right hand side of the required inequality is greater than: $$ \frac{426\cdot265}{371\cdot261} = \frac{(6\cdot71)\cdot(5\cdot53)}{(7\cdot53)\cdot(3\cdot87)} = \frac{710}{609}. $$ We now only have to prove: $$ \frac{193}{2\cdot71} < \left(\frac{710}{609}\right)^2, \text{ i.e., }\ 200\cdot71^3 > 193\cdot609^2. $$ We have already calculated $71^2 = 5{,}041,$ so $71^3 = 352{,}870 + 5{,}041 = 357{,}911,$ and $200\cdot71^3 = 71{,}582{,}200.$ On the other hand, $609^2 = 360{,}000 + 10{,}800 + 81 = 370{,}881,$ therefore $193\cdot609^2 = (200 - 7)\cdot370{,}881 = 74{,}176{,}200 - 2{,}596{,}167 = 71{,}580{,}033.$ This proves the inequality.

Answer 2

Hint:

By excess rational approximations of $e$ can be found from the usual Taylor expansion.

By default rational approximations of $\pi$ can be found from the Machin formula, among others.

Five exact decimals should be enough.

Now the following inequality can be established by hand (though this will take several hours):

$$\frac{\overline{e}(\overline{e}^2-2)^2}{\underline{\pi}^2}<8.$$

(With $\overline e=2.71829$ and $\underline\pi=3.14159$, you get $7.99888\dots<8$.)

Not glamorous, but effective.

Answer 3

Using values rounded up to the fourth decimal,

$$e(e^2-2)<2.7183(2.7183^2-2)^2<2.7183\cdot5.3891^2<2.7183\cdot29.0424<78.9460$$

and down

$$78.9520=8\cdot9.8690<8\cdot3.1415^2<8\pi^2.$$

This takes four multiplies of $4$-decimal numbers and a little more.

---

(If using precomputed tables is allowed, this one supplies $\sqrt2,\pi,\pi^2,\sqrt e,e,e^2$: http://www.ebyte.it/library/educards/constants/MathConstants.html)

Answer 4

I Do not have a very satisfying answer. However I will share my attempt, it might be useful to someone, perhaps the person who, ultimately gives a more sophisticated answer. First, \begin{align} &\sqrt{\frac{e}{2}}\left(\frac{e}{\pi}\right)\left(\frac{e}{2} - \frac{1}{e}\right) < 1, \\[1em] \implies &\frac{\sqrt{e}}{\pi}\left(\frac{e^2 - 2}{2\sqrt{2}}\right) < 1, \\[1em] \implies &e(e^2 - 2)^2 < 8\pi^2. \end{align}

Lower bound on $\pi$:

For the lower bound on $\pi$ consider the following Ramanujan series, \begin{align} \frac{4}{\pi} = \frac{1123}{882} - \frac{22583}{(882)^3}\cdot\frac{1}{2}\cdot\frac{1\cdot 3}{4^2} + \frac{44093}{(882)^5}\cdot\frac{1\cdot 3}{2\cdot 4}\frac{1\cdot 3\cdot 5\cdot 7}{4^2\cdot 8^2} - \dots. \end{align} Therefore, \begin{align} \pi > 4\frac{882}{1123} = \frac{3528}{1123}. \end{align}

Upper bound on $e$:

Now here is where it becomes unsatisfying. The nature of the problem requires a very tight bound on $e$. The first $10$ terms of the Maclaurin series will do, i.e., \begin{align} e &= \sum_{n=0}^{\infty}\frac{1}{n!}, \\ &= \sum_{n=0}^{9}\frac{1}{n!} + \sum_{n=10}^{\infty}\frac{1}{n!}, \\ &\stackrel{(i)}{<} \sum_{n=0}^{9}\frac{1}{n!} + \sum_{n=10}^{\infty}\frac{1}{3^n},\\ &= \sum_{n=0}^{9}\frac{1}{n!} + \frac{1}{3^{10}}\sum_{n=0}^{\infty}\frac{1}{3^n},\\ &= \sum_{n=0}^{9}\frac{1}{n!} + \frac{1}{3^{10}}\left(\frac{1}{1 - \frac{1}{3}}\right),\\ &= \sum_{n=0}^{9}\frac{1}{n!} + \frac{1}{2\cdot3^{9}}. \end{align}

Here $(i)$ holds true since for $n\geq 7$, $\frac{1}{n!} < \frac{1}{3^n}$. Now the finite sum can be written out as, \begin{align} \sum_{n=0}^{9}\frac{1}{n!} &= 1 + 1 + \frac{1}{2} + \frac{1}{6} + \frac{1}{24} + \frac{1}{120} + \frac{1}{720} + \frac{1}{5040} + \frac{1}{40320} + \frac{1}{362880}, \\ &= 1 + 1 + \frac{181440}{362880} + \frac{60480}{362880} + \frac{15120}{362880} + \frac{3024}{363880} + \frac{504}{362880} + \frac{72}{362880} + \frac{9}{362880} + \frac{1}{362880},\\ &= \frac{986410}{362880} = \frac{98641}{36288}. \end{align} Taken together with $\tfrac{1}{2\cdot3^9}$ it 'simplifies' to, \begin{align} e < \frac{98641}{36288} + \frac{1}{39366} = \frac{98641}{162\cdot 224} + \frac{1}{162\cdot 243} = \frac{98641\cdot 243}{162\cdot 224 \cdot 243} + \frac{224}{162\cdot 224 \cdot 243} = \frac{a}{b}, \end{align} where $a = 23969987$ and $b = 8817984$, if I am not mistaken.

Now, it is verifiable, by hand, in finite time that, \begin{align} e(e^2-2)^2 < \left(\frac{a}{b}\right)\left(\left(\frac{a}{b}\right)^2 - 2\right)^2 < 8\left( \frac{3528}{1123}\right)^2 < 8\pi^2. \end{align}

However, I do not know how long it would take me. I am curious, whether there exists a more sophisticated answer.

Answer 5

The simplification of the givens problem product is

$\frac{\sqrt{\frac{e}{2}}(e^2-2)}{2\pi}$

This is much easier to be estimated against one.

It goes even more nicely:

$\frac{\sqrt{\frac{e}{2}}(e-\sqrt{2})(e+\sqrt{2})}{2\pi}$

As one can see immediately from this representation is that the factor $e+\sqrt{2}$ is the biggest. Since $e \approx 2.7$ and $\sqrt{2} \approx 1.4 $.

So the biggest factor of the nominator is about $4.1325$ and the other two are smaller and than $1.5$ for sure. That is indeed smaller than $2\pi$ that is somewhat bigger than $6$.

So this is multiplying $1.166$ with $1.30$ and $4.13$ and that is smaller than $2\pi$.

So this is a problem connection two real numbers well known and famous with $2\pi$. As well as famous and irrational.

We already used the calculator as well.

To make the result with the calculator more irresistible. The true values are

$6.28268 $ and $6.28319$

This is very little compared to the rounding of the three single factors.

This shows too representation matters! How to get something representing $e$ and $\sqrt{2}$ for simplification?

I hope You are able to follow so far.

A nice repository to expressing $e$ in term of $2$ or $\sqrt{2}$ are well known identities and inequality from the history of Mathematics:

List_of_representations_of_e.

It is now only a matter of how close You intend to approximate the two numbers in comparison to $2\pi$. A shown by the use of the calculator in my representation of the given inequality only necessary up to the third digit after the decimal colon. That is not little, that is not much.

So take for example the infinite product representations. Perhaps that from Pippengers. Or approximate with the limited sequences for $e$, perhaps Sterling's formulas. It is a matter of taste and accuracy and ethics to the numerical Mathematician what he prefers best.

Whatever you select there is always the last step in the accuracy of ease of the equation that will make use of the calculator. Numbers never lie but the paths to get good or even best numerics representations are up to the Mathematician himself.

$\frac{\sqrt{2 e}(\frac{e}{\sqrt{2}}-1)(\frac{e}{\sqrt{2}}+1)}{2\pi}$

and

Pippengers product:

$e=2\left({\frac {2}{1}}\right)^{{1/2}}\left({\frac {2}{3}}{\frac {4}{3}}\right)^{{1/4}}\left({\frac {4}{5}}{\frac {6}{5}}{\frac {6}{7}}{\frac {8}{7}}\right)^{{1/8}}\cdots $

Put this into the given nominator and yeah calculator or round in the exactness of the formulare. These are just infinite products. Look at Infinite product.

You might make use of Wallis product to approximate $2\pi$.

Some are fine with multiplicating some prefer to sum the bridge is taking logarithms.

This inequality in numbers is

$0.99992<1$.

That is evidently true.