配点 : $500$ 点

問題文

正の整数 $N$ が与えられます。 $\displaystyle\sum_{i=1}^N \left[ \frac{N}{i} \right]$ の値を求めてください。

ただし、実数 $x$ に対して $[x]$ で $x$ 以下の最大の整数を表します。

制約

• $1 \leq N \leq 10^{12}$
• $N$ は整数である。

入力

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

$N$

出力

答えを出力せよ。

3

5

$\left[ \frac{3}{1} \right]+\left[ \frac{3}{2} \right]+\left[ \frac{3}{3} \right]=3+1+1=5$ です。

10000000000

231802823220

入力や出力が $32$ bit 整数型に収まらないことがあることに注意してください。