>>974
二項定理なんて要るか？
なんか普通に正と負に分けて帰納法で終了のような気が。
多項式という仮定も不要。