>>619
その「全ての正整数で成り立つ」というのは、ちゃんと無限大である自然数についても成り立つか確かめた?