ב) הוכחה: הפונקצייה גזירה, ולכן הגבול שמגדיר את הנגזרת קיים. לכן קיימת סביבה נקובה ברדיוס דלתא של <math>x_0</math> שבה מרחק פונקציית הנגזרת <math>f'(x)</math> מהנגזרת <math>f'(x_0)</math> אינו עולה על אפסילון, ולכן <math>f'(x_0)+ \epsilon</math> מהווה חסם מלעיל לפונקציית הנגזרת בסביבה זאת. בפרט, הנגזרת אינה חסומה.
::הבעיה בהוכחה הנ"ל הייתה שהנחתי שהנגזרת רציפה, מה שיופרך ממש בעוד רגע. אכן, אם הנגזרת של פונקצייה היא רציפה אז המשפט נכון לפי הנימוק שהבאתי: כי מרחק פונ' הנגזרת מהגבול שלה קטען קטן מאפסילון, והגבול שלה שווה לנגזרת ולכן סופי. (בדוגמא של נועם גבול הנגזרת בנקודה אינו סופי.)
'''תיקון'''