A generalized version of the Earle-Hamilton fixed point theorem for the Hilbert ball

Let $D$ be a bounded domain in a complex Banach space. According to the Earle-Hamilton fixed point theorem, if a holomorphic mapping $F : D mapsto D$ maps $D$ strictly into itself, then it has a unique fixed point and its iterates converge to this fixed point locally uniformly. Now let $mathcal{B}$ be the open unit ball in a complex Hilbert space and let $F : mathcal{B} mapsto mathcal{B}$ be holomorphic. We show that a similar conclusion holds even if the image $F(mathcal{B})$ is not strictly inside $mathcal{B}$, but is contained in a horosphere internally tangent to the boundary of $mathcal{B}$. This geometric condition is equivalent to the fact that $F$ is asymptotically strongly nonexpansive with respect to the hyperbolic metric in $mathcal{B}$.