Mattias Villani Gaussian iid data with known variance