Prove that $2^{2^{\sqrt3}}>10$

With a computer or calculator, it is easy to show that
$$
2^{2^\sqrt{3}} = 10.000478 \ldots > 10.
$$

How can we prove that $2^{2^{\sqrt3}}>10$ without a calculator?

Solutions Collecting From Web of "Prove that $2^{2^{\sqrt3}}>10$"

I suspect any adequate answer to this question is going to be very computation-heavy. Here’s one.

First we claim that
$$
\sqrt{3} > \frac{3691}{2131} \tag{1}
$$
This fraction is not pulled out of a hat; rather, it is found by taking the continued fraction $\sqrt{3} = [1; 1, 2, 1, 2, 1, 2, \ldots]$ and carrying it out a while. Anyway, the above is proved directly by
$$
3 \cdot 2131^2 = 3 \cdot 4541161 = 13623483 > 13623481 = 3691^2.
$$

We next claim that
$$
2^{{3691}/{2131}} > \frac{1465}{441} \tag{2}
$$

To prove this, one needs to show $2^{3691} 441^{2131} > 1465^{2131}$.
With repeated squaring, each term requires squaring about $12$ times, so this is doable$^{a}$ with a pencil and paper.

The last step is
$$
2^{1465/441} > 10 \tag{3}
$$
Again one uses repeated squaring, and if one is working in base 10 one only needs to count the number of digits in $2^{1465}$. This should not take nearly as long as the previous computation.$^{b}$

From (1), (2), and (3),
$$
2^{2^{\sqrt{3}}} > 2^{2^{3691/2131}} > 2^{1465 / 441} > 10. \quad \square
$$


$^{a}$ Honestly, this is quite a stretch. I can’t guarantee it won’t take like a year of work.

$^{b}$ As a rough estimate, perhaps a day or so.

Here is another mythical answer:

We want to prove $(\log_2 \log_2 10)^2 < 3$.

One way is to use the procedure outlined here to compute $\log_2$. The only mild complication is knowing when to stop. Since $\log_2$ is non-decreasing, it suffices to find $x\ge\log_2 10 $ and $y \ge \log_2 x$ such that $y^2 <3$.

The procedure is straightforward, I am just repeating the parts necessary to see how an upper bound is found. Given $x>0$, we first compute the integer part of $\log_2 x$ by finding the smallest $n$ such that ${x \over 2^n} \in [1,2)$, then $\log_2 x = n + \log_2 {x \over 2^n}$. Then, supposing $x \in (1,2)$, we repeatedly square $x$ until $x^{2^n} \in [2,4)$. Then we have
$\log_2 x = {1 \over 2^n}(1+ \log_2 {x^{2^n} \over 2})$, where ${x^{2^n} \over 2} \in [1,2)$, and so we can repeat ad nauseam.

For the purposes of this problem, we note that in the latter step, we always have $\log_2 x \le {1 \over 2^n}(1+ 1)$, since $\log_2 {x^{2^n} \over 2} \le 1$. So by replacing $\log_2 {x^{2^n} \over 2}$ by $1$ at any stage we obtain an upper bound. The error will be $\le {1 \over 2^{n_1}} \cdots {1 \over {2^{n_k}}}$, where the $n_1,…,n_k$ are the number of ‘squarings’ at each step.

Then it is a matter of trial and error to find suitable $x,y$:

$x = 3+{1 \over 4} + {1 \over 16} + {1 \over 128} + {1 \over 1024} + {1 \over 2048}+{1 \over 8192}+ {1 \over 65536}+ {1 \over 65536} = {217706 \over 65536} \ge \log_2 10$.

$y = 1+{1 \over 2} + {1 \over 8} +{1 \over 32} + {1 \over 128} + {1 \over 256} + {1 \over 1024} + {1 \over 2048} + {1 \over 16384} + {1 \over 65536}+ {1 \over 65536}= { 113510 \over 65536 } \ge\log_2 x$.

We have $y^2=({ 113510 \over 65536 })^2 < 3$.

No calculators or computers were harmed during this computation.

There is nothing magical about a calculator: any computation performed on a calculator can be done by hand (and perhaps with extra rigor). (*)

Most special functions have series approximations that are known to converge particularly quickly; but Taylor’s theorem with remainder can be applied to almost all important special functions even without knowing these specialized series. If $f(x)$ is smooth on $(a-\epsilon, b+\epsilon)$ and all derivatives $f^{(n)}$ are bounded on that interval:

$$|f^{(n)}(x)| \leq K^n\qquad \forall x\in (a-\epsilon, b+\epsilon)$$

then Taylor’s theorem guarantees that

$$|f(b) – F^i(b)| \leq \frac{K^i(b-a)^{i+1}}{(i+1)!}$$
where $F^i$ is the Taylor expansion to $i$th order
$$F^i(b) = \sum_{j=0}^i f^{(j)}(a) \frac{(b-a)^j}{j!}.$$

In particular if $K^n$ can be chosen to decay sufficiently quickly in $n$, and $f^{(n)}(a)$ is easy to evaluate exactly at a special value $a$, the above can be used to approximate $f(b)$ to arbitrary precision by hand.

For this particular problem, we want to show that
$$\sqrt{3}\log 2 \leq \log\log 10 – \log \log 2.$$

$\sqrt{x}$ and $\log x$ can be trivially estimated using the above. $\log \log x$ can be computed by composition (this will require computing $\log x$ to high precision) or directly using Taylor expansion about $x=e$ (NB the formulas for the higher-order derivatives are not particularly pleasant).

(*) However even when guaranteed accuracy is required, the advantages of hand calculation over computer algebra packages like Mathematica with arbitrary-precision support are rather dubious.

First take logs
$$2^{\sqrt3}>\log_2 10$$
Then again
$$\sqrt{3}>\log_2 \log_2 10$$
Now, $$\log_2(10)=\frac{\log 10}{\log 2}$$
With $\log 10\approx 2.302$ and $\log 2\approx 0.6931$, We find $$\log_2(10)\approx3.32131$$
And the $\log_2$ of that is $(\approx1.731)$ Now, $\sqrt 3\approx 1.732,$ and therefore we conclude that $$2^{2^{\sqrt3}}>10$$
Note that these values can be found with Newton’s method and taylor series, though tedious to find and calculate.