Fie f : [ − 1 , 1 ] → R {\displaystyle f:[-1,1]\to \mathbb {R} } o funcție crescătoare, derivabilă pe [ − 1 , 1 ] {\displaystyle [-1,1]} cu f ′ ( 0 ) ≠ 0 {\displaystyle f'(0)\neq 0} . Să se arate ca exista cel puțin un punct c ∈ ( − 1 , 1 ) , c ≠ 0 {\displaystyle c\in (-1,1),c\neq 0} , cu proprietatea că 2 c f ( c ) + ∫ 0 c f ( x ) d x ≥ 0 {\displaystyle 2cf(c)+\int _{0}^{c}f(x)\,dx\geq 0} .