A sphere's arc length