teoria de limites

Suponemos que f(x) tiene dos límites distintos b y c, cuando x tiende a a.
Suponemos que b > c.
lim_x->af(x)=b => (por def. de límite) para todo E_b,ε existe un E^*_a,δ1 / para todo x perteneciente al E^*_a,δ1 f(x) pertenece al E_b,ε.
lim_x->af(x)=c => (por def. de límite) para todo E_c,ε existe un E^*_a,δ2 / para todo x perteneciente al E^*_a,δ2 f(x) pertenece al E_c,ε.
Consideremos un ε tal que E_b,ε ∩ E_c,ε = Ø.

Queremos que c+ε < b-ε => ε < (b - c)/2
Sea δ = min {δ1,δ2}
Para todo x perteneciente al E^*_a,δ se cumple

• f(x) pertenece a E_b,ε
• f(x) pertenece a E_c,ε

Absurdo, pues f(x) no puede pertenecer a dos entornos disjuntos.
Absurdo de suponer b ≠ c.
Por lo tanto b = c.