>>218
背理法だからnがいくら大きくても証明は成立する