Nemotron-IMO-Bench 2026 C19

A calculator can square a number or add $1$ to it. It cannot add $1$ two times in a row. By several operations it transformed a positive integer $x$ into a number $S > x^n + 1$ for some positive integer $n$. Prove that $S\geq x^n +x-1$.