  The function on the Teichmueller space of complete, orientable, finite-area
hyperbolic surfaces of a fixed topological type that assigns to a hyperbolic
surface its maximal injectivity radius has no local maxima that are not global
maxima.
