The Euler-Lagrange equation has the first integral
where the constant follows from the initial data. Combining this with proper-time normalization gives the Timelike geodesic in the expanding flat slicing of de Sitter spacetime:
Consequently
Integrating from , where , gives
As , the first ratio tends to , so
Thus tends to at the finite proper time .