0684132人目の素数さん垢版 | 大砲2018/06/18(月) 23:10:58.84ID:Y/8tBeky >>680 をすこし進めます。 1≦b≦a≦nである互いに素な整数a,bに対しbk÷aのあまりをr(k)とすると [nb/a] = nb/a - r(n)/a Σ [1≦k≦n] [kb/a]/k = Σ [1≦k≦n] (kb/a - r(k)/a)/k = nb/a - Σ [1≦k≦n] r(k)/(ak) なので 示すべきは r(n)/a ≦ Σ [1≦k≦n] r(k)/(ak) です。