Prove $\sqrt{2\sqrt{3\sqrt{\cdots\sqrt{n}}}}<3$ by induction.

Problem: prove $\sqrt{2\sqrt{3\sqrt{\cdots\sqrt{n}}}}<3$ by induction.
I tried some, but stopped in $\sqrt[2^n]{n+1}$. Also tried with $2\sqrt{3\cdots}<3^2$ and so on.

Solutions Collecting From Web of "Prove $\sqrt{2\sqrt{3\sqrt{\cdots\sqrt{n}}}}<3$ by induction."

This is actually a ‘standard’ induction question, whose goal is to make you think about the induction hypothesis.

This is tricky because the induction is not obvious. You likely have tried applying it directly, but since

$$ \sqrt{ 2 \sqrt{3 \sqrt{\ldots \sqrt{n} } } } < \sqrt{ 2 \sqrt{3 \sqrt{\ldots \sqrt{n \sqrt{n+1}} } } }, $$

the proof fails (as seen by all the other deleted solutions).

However, this is the statement that you should induct on:

Fix $n\geq 2$. For all values of $2\leq k \leq n$, $\sqrt{ k \sqrt{(k+1) \sqrt{\ldots \sqrt{n} } } } < k+1 $

Perform the ‘induction’ on k, going from $k$ to $k-1$ (as opposed to the typical induction on $n$ going from $n$ to $n+1$).

Specifically, the base case is when $k=n$. This is immediately obvious.

For the induction step, assume it is true for some $k$. Consider $k-1$. This induction is then immediately obvious since $(k-1)(k+1) < k^2$.

Of course, we now get a lot of other similar, interesting inequalities for free.

Moral: Choosing the correct induction hypothesis is extremely important.

Note: I personally call this method Stronger Induction (not a standard term in the literature). It cleverly choses the induction hypothesis based on observations, and includes strengthing (and modifying) the induction hypothesis like what Andre did. You can click on the link for a writeup that I did.

We want control over the size of
$$a_n=2^{1/2}3^{1/4}4^{1/8}\cdots n^{1/2^{n-1}}.$$
It is convenient to take the logarithm, and show that $\log a_n\lt \log 3$. But one could also work directly with the product.

As is essentially necessary with induction proofs of inequalities, we prove the stronger result
$$\log a_n=\frac{1}{2}\log 2+\frac{1}{4}\log 3 +\frac{1}{8}\log 4+\cdots +\frac{1}{2^{n-1}}\log n \lt \log 3 -\frac{1}{2^{n-2}}\log n.\tag{1}$$

The case $n=2$ is no problem, it comes down to the fact that $\frac{3}{2}\log 2\lt \log 3$. The inequality does hold, though not by much.

For the induction step, suppose we know that (1) holds for a particular $n$. It will then be enough to show that
$$\log 3 -\frac{1}{2^{n-2}}\log n+\frac{1}{2^n}\log(n+1)\lt \log 3 -\frac{1}{2^{n-1}}\log (n+1).$$
Some manipulation makes this inequality obvious.