is monotone for large
Lemma.
Let be a real number. The sequence is monotone increasing for all .
Proof.
Let . We want to prove the following inequality:
Since both sides are positive, this follows by taking the -th root and using the arithmetic-geometric-harmonic means inequality:
∎