>>616
それ自体は正しいけど、0^y はどう定義するんだい？
もし >>613 で示したものなら、その極限値を証明した所で、無意味だね。