Erdős–Mordell Inequality

Inequality relating the sum of distances to the sides of a triangle with the sum of distances to its vertices.