Source: https://projecteuclid.org/journals/journal-of-differential-geometry/volume-20/issue-1/Le-rayon-dinjectivité-des-surfaces-à-courbure-majorée/10.4310/jdg/1214438994.pdf