Exact Asymptotic Behavior of the Probability of a Large Span of a Stationary Gaussian Process