>>617
0^y := lim[x→+0]x^y = 0 (y>0)