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)$ という全単射。