lim (1/x)^tanxx→0+=lim e^ (-lnx/cotx)x→0+=lim e^ [-(1/x)/(-csc²x)]x→0+=lim e^ (sin²x/x)x→0+=lim e^ (x²/x)x→0+=lim eˣx→0+=e⁰=1
