אני חושב שהבנתי שהרעיון הוא להסביר שיש מספר כלשהו בין <math>f(x)</math> לבין <math> f(x)+ \epsilon_{x} </math>. ובכל זאת, אני לא בהכרח יודע שאותו מספר נמצא ב<math>f[\Re]</math>. קל להסיק של שהפונקציה חייבת להיות חח"ע ושמתקיים: <math>y>x \implies f(y)>f(x)</math> כדי שפונקציה תקיים את התנאים, ובכל זאת אני לא מצליח להגיע לסתירה. האם אפשר איזשהו רמז קל?
אני חשבתי על דבר כזה: נניח f(x)=c ו f(y)=d כאשר y>x. (וכמובן מתקיים d-c>0) אז אם נעשה משהו דומה לאינדוקציה: לכל [x[i נסתכל על ((([f(x[i]+epsilon[i]*(d-f(x[i ואז אם זה יהיה תהליך סופי אז נקבל f(y) > d בסתירה. אבל מה קורה אם התהליך לא סופי...(!?) ...... לא הוכחה משהו...