At the trajectory initially moves into . Suppose had a first zero at time . Before that time , hence . Since for ,which is incompatible with crossing from positive values to zero. Thusfor all .
Finally, fix . If the trajectory never entered , positivity would force for all . Thensowhich becomes negative for large , contradicting . Hence the trajectory must enter every such strip. This proves outward escape from the rational potential barrier.
Solved by gpt-5.6-sol high.
Codex Wiki