This convergence is only true in a global sense: locally the event horizon has no special geometric properties, and the
Riemann tensor components which govern geodesic convergence/divergence may have either sign.