>>255

本当に成り立つかどうかは知らんが、
mを固定してnについての帰納法を使ってみ