Prove f(n−1)−1=f(n)(f(n)−1).
Since f(1)=2, from the above equation, we know that f(n) is monotonically increasing.
f(n+1)−11=f(n)(f(n)−1)1=f(n)−11−f(n)1.
Thus, we have
f(n)1=f(n)−11−f(n+1)−11.
Using the above equation, we get
k=1∑nf(k)1=1−f(n+1)−11.
We will prove the following by induction:
2^{2^{n-1}}2^{2^{k-1}} 2^{2^{2-1}}=2^{2^{k}} .
\end{array}
Since f(k) is a positive integer (k∈N),
f(k+1)−1⩽22k−1.f(k+2)−1=f(k+1)(f(k+1)−1)⩽22k(22k−1)<22k+1.
(*) holds for any positive integer n. Therefore, the desired inequality is immediately obtained.