A Nagumo-like uniqueness result for a second order ODE

In this note, we present an extension to second order nonlinear ordinary differential equations (ODEs) of the Nagumo-like uniqueness criterion for first order ODEs established in [A. Constantin, On Nagumo's theorem, Proc. Japan Acad. 86(A) (2010), pp. 41--44].