n=1 帰納法の失敗
本はありません。