Probabilistic inequalities | Geometric inequalities | Gaussian function
Gaussian correlation inequality
The Gaussian correlation inequality (GCI), formerly known as the Gaussian correlation conjecture (GCC), is a mathematical theorem in the fields of mathematical statistics and convex geometry. A special case of the inequality was published as a conjecture in a paper from 1955; further development was given by Olive Jean Dunn in 1958. The general case was stated in 1972, also as a conjecture. The inequality remained unproven until 2014, when Thomas Royen, a retired German statistician, proved it using relatively elementary tools. The proof did not gain attention when it was published in 2014, due to Royen's relative anonymity and that the proof was published in a predatory journal. Another reason was a history of false proofs (by others) and many failed attempts to prove the conjecture, causing skepticism among mathematicians in the field. The conjecture, and its solution, came to public attention in 2017, when reports of Royen's proof were published in mainstream media. (Wikipedia).
