V.D17 — Proper Time (Arc Length)

Proper time t(n) := sum_{k=1}^{n-1} ell(Delta_k) is the accumulated arc length along the alpha-orbit from alpha_1 to alpha_n, where ell(Delta_k) = p_k^{-1} is the geodesic distance between consecutive levels. The series converges absolutely to a finite limit t_infinity.