>>467
>|z|≦ρ＜Rにおける一様収束を
>証明するために、ρ´をρ＜ρ´＜Rにとると、n≧n0のときに|an Z↑n|≦(ρ/ρ´)↑n
>がいえる。
アールフォルス複素解析を持っていないんで実際の文章が分からんが、
そもそも
n≧n0のときに|an Z↑n|≦(ρ/ρ´)↑n
の意味が分からん。
少なくとも
|an Z↑n|≦(ρ/ρ´)↑n
なんていう「↑」を用いた式は普通使わない筈だが…。
こんな不等式見たことないぞ。