لتكن f {\displaystyle f} دالة قابلة للاشتقاق على مجال I {\displaystyle I}
ملاحظة : إذا كانت ( ∀ x ∈ I ) f ′ ( x ) ≥ 0 {\displaystyle (\forall x\in I)\quad f'(x)\geq 0} والمتساوية f ′ ( x ) = 0 {\displaystyle f'(x)=0} محققة فقط بالنسبة لأعداد معزولة من المجال I {\displaystyle I} فإن الدالة f {\displaystyle f} تزايدية قطعا على I {\displaystyle I}
مبرهنة رول - مبرهنة التزايدات المنتهية