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