帰納法で背理法利用することってある？
n=kで成り立たないならn=k-1でも成り立たない
しかしn=1のときは成り立っているので…
みたいなの