>>403
だから有界性の証明に帰納法を持ち出す必要などないと言ってるんだが
まあ>>404に全部書いてあるから嫁