Gaussian correlation inequality

The gaussian correlation inequality states that probability of hitting both circle and rectangle with a dart is greater than or equal to the product of the individual probabilities of hitting the circle or the rectangle.

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.