Limit of (tan(x))^cos(x) as x goes to (pi/2)^-