ILL 1985 Problem 63

Let $x_n = \sqrt[2]{2+\sqrt[3]{3+\cdots+\sqrt[n]{n}}}.$ Prove that $x_{n+1}-x_n <\frac{1}{n!} n=2,3,\cdots$

Dataset text AoPS wiki problems. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.