 Outward escape from the rational potential barrier

For $k>0$, the trajectory beginning at $(x,y)=(1,y_0)$ with $y_0>0$ remains in $x>1$, $y>0$ and obeysIt enters every strip $0<y<\epsilon$: otherwise $\dot{E}=-k{y}^2\le -k{\epsilon }^2$ would eventually make the nonnegative energy negative.