- 752 名前：１３２人目の素数さん mailto:sage [2012/01/09(月) 09:17:20.67 ]
- 杉浦解析入門
0<ｂ <1 なる 自然数ｂ があるとする。
Ｂ＝｛ｐ ｜ ｐ≧１ ｐ∈Ｎ ｝
Ｃ＝ ｛ｂ＾ｐ ｜ ｐ∈ Ｂ｝
集合Ｃは、下に有界なので、inf C は存在し、
inf C ＝０ ｡
集合Ｃは、自然数の部分集合なので、最小値がある。
inf Cが求まっているので、それと一致する。
min Ｃ ＝ inf C ＝０
ｂを何乗かしてゼロになるということだが、これは矛盾。
よって、0<ｂ <1 なる 自然数ｂ は無い。
感想：なんか冗長
