AT_abc172_d [ABC172D] Sum of Divisors

[problemUrl]: https://atcoder.jp/contests/abc172/tasks/abc172_d 正整数 $ X $ に対し、$ X $ の正の約数の個数を $ f(X) $ とします。 正整数 $ N $ が与えられるので、$ \sum_{K=1}^N\ K\times\ f(K) $ を求めてください。

入力は以下の形式で標準入力から与えられる。 > $ N $

値 $ \sum_{K=1}^N\ K\times\ f(K) $ を出力せよ。

### 制約 - $ 1\ \leq\ N\ \leq\ 10^7 $ ### Sample Explanation 1 $ f(1)=1 $, $ f(2)=2 $, $ f(3)=2 $, $ f(4)=3 $ なので、答えは $ 1\times\ 1\ +\ 2\times\ 2\ +\ 3\times\ 2\ +\ 4\times\ 3\ =23 $ となります。 ### Sample Explanation 3 オーバーフローに注意してください。