Dynamical systems method and surjectivity of nonlinear maps

If F : H → H is a Cloc2-map in a real Hilbert space, supu ∈ B(u0,R)∥[F′(u)]−1∥ ⩽ m(R), and limsupR>0Rm(R)=∞, then F is surjective.