>>84
とりあえず超限帰納法を使った存在証明というのをおながいしまつ。