Wirtinger's inequality

Wirtinger's inequality is either of two inequalities named after Wilhelm Wirtinger: