目的がnによる評価だから仰るとおりです
気分的にm→∞のときr/s→∞と限らないのが嫌で
でも>>913のように、nに関する評価を精密にするのは大切だと思う