בסדר
שם לב שבמקרה שכתבתי y0=2 ו-x0 שווה ל- g^(-1)(2) d... הניסוח המדויק של המשפט: תהי f מוגדרת בקטע I וגזירה בו והנגזרת חסומה בקטע הנ"ל, אזי f רב"ש ב-I. הוכחה: ראשית, לפי הנתון לכל x ב-I מתקיים
abs(f´(x))<=M
יהי e>0 נגדיר d=e/M. לכל x,y ב-I שמרחקם זה מזה קטן מ-d וגדול מ-0 מתקיים ע"פ משפט לגרנז´:
f(x)-f

=f´(c)(x-y)
כאשר c נמצאת בין x ל-y. לפיכך מתקיים גם:
abs(f(x)-f

)=abs(f´(c)) * abs(x-y)<=M*abs(x-y)<M*e/M=e
כנדרש.