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