A Large Deviation Principle and an Analytical Expression of the Rate Function for a Discrete Stationary Gaussian Process