No dice que existe un \( n \in \mathbb{N} \) tal que se cumple \( a \leq x \leq a + \dfrac{y}{n} \)
Dice que para todo \( n \in \mathbb{N} \) se cumple \( a\leq x \leq a+\dfrac{y}{n} \)
Entonces \( x \in I_n = [a,a+\dfrac{y}{n}] \) para todo \( n \in \mathbb{N} \).
Como \( a+\frac{y}{n} \) tiende a \( a \) si \( x > a \) puedo encontrar un \( n \) tal que:
\( a < a+\dfrac{y}{n} < x \) entonces \( x \notin I_n \)
Mira
aquí
