Positive Definiteness of the Autocovariance Function