>>468-471

すまんです。私も久しぶりに読み返してみたんですが、
講義を受けたのが20年以上前で忘れてしまった。。。
で、なんどか読み返して思ったのだが、

n≧n0のときに|an Z↑n|≦(ρ/ρ´)↑n

の「n≧n0のときに」って条件は生きてるのかな？
証明の最初のほうでn0は既に決まっていて、
その値はここでも有効だとすると。。。？？？
私も頭も上極限から洗いなおさないとダメかなｗ