changed: - \begin{axiom} limit(sin(x)-sin(x-1/x),x=%plusInfinity) \end{axiom} should be zero...
limit(sin(x)-sin(x-1/x),x=%plusInfinity)
should be zero...