/ 5*x \ lim |-------| x->oo\atan(x)/
Limit((5*x)/atan(x), x, oo, dir='-')
oo
/ 5*x \ lim |-------| x->0+\atan(x)/
5
= 5.0
/ 5*x \ lim |-------| x->0-\atan(x)/
5.0