lim x -> 0 of (tan(x)/x)^(1/x)