אני חשבתי על דבר כזה: נניח 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 בסתירה. אבל מה קורה אם התהליך לא סופי...(!?) ...... לא הוכחה משהו...
:אין לי מושג מה זה <math>f[\Re]</math> או מה ההקשר פה (פולינומים?). בכל אופן, הרמז שם מאד עבה. מה הקשר בין עוצמת הראציונאליים לעוצמת הממשיים? --<font size='4'>[[משתמש:ארז שיינר|שיינר]]</font>