Convergence of ADAM with Constant Step Size in Non-Convex Settings: A Simple Proof