>>504
SUP よりちいさなρ、ρ’　がとれるのは定義から保証されている。
（実数連続性云々はよくわかりません。稠密のことですか？）

Sigma[an z^n,{n,1, infinity}]は　ｚ＝ρ’（＜R)で収束する。
だから　n>n0 で　|an z^n|< １にとれる。(n0が心配なら定数１を一億にして大きくしてください）

|an |<1/ρ’^n
|an z^n| <= |an|ρ^n <= 1 （ρ/ρ’)^n


たしかにAの記述は分かりにくいですね。
英文はどうですか？>>506