>>478
「n≧n0のときに」はsupの定義を考慮していたとき
 「十分大きなn」は優級数のはじめの有限項の暗々裏の除外でも気にしているのかな

それでも ρ、ρ’は n0 の支配下にあるから nは{n;n>n0} でいいんじゃないのかな