Covariance Matrix Is Positive Semidefinite