>>3
> 理由は、実数での乗法が
> 　(lim[x→a]x)*(lim[y→b]y) = lim[x→a,y→b]x*y
> と定義されているため
> 　(lim[x→0]x)^(lim[y→0]y) = exp((lim[x→0]log(x))*(lim[y→0]y)) = exp(lim[x→0,y→0]log(x)*y)
> となり、これは不定になるから｡

必ずしも
(lim[x→a]x)*(lim[y→b]y) = lim[x→a,y→b](x*y)
となるわけではないんだが？