ochiai/basictraining の履歴(No.1)

p152, line 2. この直後に「$b_n$ は $A_n$ の上界である。$a_n$ は $A_n$の上界ではない。」を述べておいた方が良い。(p152, line -9 と, p153, line 1 でそれぞれ用いるために。）
p158, 真ん中の段落。背理法を使わない議論。$N_0$ を任意にとって固定する。任意の $n \ge N_0$ に対して、$a_n \ge a_{N_0} \gt \alpha$なので、命題22-2より$\alpha=\displaystyle \lim_{n\to\infty} a_n \ge a_{N_0}$。
p158, line -3. $a_{n_0} \lt b_{n_0}$は$a_{n_0} \le b_{n_0}$ であろう。
p188, line 2-3. $f:(0,\infty)\to(0,1)$ という全単射。