一般項を予測して数学的帰納法で証明せよという問題は欠陥問題ですよね?