杉浦解析入門

0<ｂ <1 なる　自然数ｂ　があるとする。
Ｂ＝｛ｐ　｜　ｐ≧１　ｐ∈Ｎ　｝
Ｃ＝　｛ｂ＾ｐ　｜　ｐ∈　Ｂ｝
集合Ｃは、下に有界なので、inf C は存在し、
inf C　＝０ ｡
集合Ｃは、自然数の部分集合なので、最小値がある。
inf Cが求まっているので、それと一致する。
　min Ｃ ＝　inf C　＝０
ｂを何乗かしてゼロになるということだが、これは矛盾。
よって、0<ｂ <1 なる　自然数ｂ　は無い。
感想：なんか冗長