問題文

正整数 $X$ に対し、$X$ の正の約数の個数を $f(X)$ とします。

正整数 $N$ が与えられるので、$\\sum_{K=1}^N K\\times f(K)$ を求めてください。

制約

• $1 \\leq N \\leq 10^7$

入力

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

$N$

出力

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

入力例 1

4

出力例 1

23

$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$ となります。

入力例 2

100

出力例 2

26879

入力例 3

10000000

出力例 3

838627288460105

オーバーフローに注意してください。