A really high reputation user wrote an answer to one of my questions.
I had spent a lot of time thinking on his answer and I arrived to the conclusion that it's wrong unless the theorem is false.
The problem is in the part of increasing of the sequence
What should be done here?