The sequence was given as problem 4 at the final round of the 2024 Alibaba Mathematics Competition.
Here’s a solution to the following problem.
Цитата:
It’s clearly true by induction that

for all

.
Now observe that


Let

, this implies:

So

Consequently

So

Since

, the sequence

is bounded above and increasing thus convergent, taking

gives

. This completes the proof.
(Remark)
Personally, I think it’s unlikely that the constant in the problem statement can be improved to

.