D4ve_G: lim x->- infinity
[4:57pm] D4ve_G: arctan (x - x^2)
[4:57pm] D4ve_G: how would i solve this?
[4:59pm] merus: Let H be a positive infinite hyperreal; (-H) - (-H)^2 = H (H - 1), which is a positive hyperreal, say K; arctan (K) = pi/2 or something like that.

# actually should have said that st(arctan(K)) = pi/2