>>231
「0^0≠1」のときってあるえるのか？
証明間違ってたのかもしれん、
ここにいるのが少し恥ずかしくなってきた

>>232
limを使って証明させればいける（いけた）！
……だったんだが、少し自信なくなってきた