[lupire]

No. 1/x^2 is undefined at 0 but has the same limit behavior, because limit behavior is not a function from "pairs of (functions from R to R, R)" to R

Infinity is not a real number.

[ganzuul]

Can limit behavior be defined as Cauchy sequences?