極限を取る、とは超準解析において、標準部分関数を取る、という事
{lim[x→0,y→0](x^y)}つまりst(ε^ε)
(lim[x→0]x)^(lim[y→0]y)つまり{st(ε)}^{st(ε)}
st(ε^ε)=st(不定)=不定
{st(ε)}^{st(ε)}=0^0

0^0=#φ^#φ=1
実数において0は#φに他ならない