x - 2 lim (1 + tan(x)) x->0+
Limit((1 + tan(x))^(x/2), x, 0)
1
= 1.0
x - 2 lim (1 + tan(x)) x->0-
1.0