:<math>\forall x>0\exists y>0: y<x</math>
'''דוגמא'''
הצרן את הגדרת גבול הסדרה:
לכל מרחק אפיסלון, קיים מקום בסדרה שהחל ממנו והלאה כל איברי הסדרה קרובים לגבול עד כדי אפסילון.
*הוכח כי גבול הסדרה <math>a_n=\frac{1}{n}</math> הוא אפס.
*הוכח כי אין גבול לסדרה <math>a_n=(-1)^n</math>
===הוכחת שקילות לוגית - אם ורק אם===