Science Advisor
- 1,089
- 10
Hurkyl said:But [itex]+\infty[/itex] is an extended real number, and you do have
[tex]\lim_{x \to +\infty} f(x) = f(+\infty)[/tex]
when [itex]f[/itex] is continuous at [itex]+\infty[/itex].
But the function is defined as a real-valued function, I believe (meaning
implicitly so). It may or not be extendable continuously to the Riemann sphere,
but AFAIK, it was defined as a real-valued functiuon of a real variable.