An integral for geodesic length · Study