>>31
証明の方針：1/(1-r)をΣ_[0≦k<n] r^kで近似, n<<mとしてrをr(1-n/m)で近似
1/(1-r)≒Σ_[0≦k<n] r^k≒Σ_[0≦k<n] (r(1-n/m))^k<Σ_[0≦k<n] (r(1-k/m))^k<Σ_[0≦k<m] (r(1-k/m))^k