最小ケースと、任意のnが正しい時にn+1が正しければ

8:34 AM

全てが正しいことを証明できるので、そんな感じのテスト

8:34 AM

任意のnが正しいという仮定をどうやって表現するか、かな