אם פונקציה היא גזירה בנקודה אז היא בפרט מוגדרת בסביבתה, נכון? (היה ברור לי שכן, אבל ראיתי במבחן שנתון שפונקציה "מוגדרת בסביבת נקודה וגזירה בה".)
:כן, כי מוגדרות זו דרישת סף לקיום גבול. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
== סיבוכיות יתר... ==
אני טוען <math>\lim_{n \to \infty }\lim_{k \to \infty } \frac{2^k+3^k}{2^{k+m}+3^{k+m}}</math>.
ניסיתי להבין מה בעצם כתבתי בלשון אפסילון ודלתא (בלי שימוש ב(פרדיקט?) lim), ולאחר כאב ראש או שניים יצא הביטוי הבא:
<math>\lim_{n \to \infty }\lim_{k \to \infty } \frac{2^k+3^k}{2^{k+m}+3^{k+m}}\leftrightarrow \forall \epsilon >0\exists N_\epsilon \in \mathbb{N} \forall n>n_\epsilon \exists L \in \mathbb{R}:(\forall \alpha >0\exists N_\alpha \in \mathbb{N}\forall n>N_\alpha :(|\frac{2^k+3^k}{2^{k+m}+3^{k+m}}|<\alpha \wedge |L|<\epsilon ))</math>
אשמח אם מישהו יאשר
1)את קיום המשמעות בכלל למה שרשמתי,
2)את הטענה (על הגבול),
3)את נכונות השימוש במילה פרדיקט,
ו- 4)את נכונות הביטוי.