A Law of Large Numbers for the Maximum in a Stationary Gaussian Sequence