とりあえず目標はε0までの超限帰納法を理解することです。