Migrated from Lutece 2705 菜猫喝水 V2

All parts of this problem, including description, images, samples, data and checker, might be broken. If you find bugs in this problem, please contact the admins.

Description

身为全电大最聪明的猫，菜猫他有 $n$ 个不同水杯，为了方便喝水，菜猫给第 $i$ 号水杯里面盛上了 $i$ 毫升水。由于菜猫已经喝过一次水了，所以这次菜猫没有那么渴，所以他开始观察性质。

他发现有的时候一个水杯二元组 $(a,b)$ 会满足 $a-b=\gcd(a,b)$，菜猫认为这样的水杯二元组是协同可口的。

菜猫想问你，有多少水杯二元组是协同可口的。

注意，可以发现的是，二元组 $(a,b)$ 满足条件时 $(b,a)$ 必不满足条件，因此不必区分二元组中元素的顺序。

Input

一行一个正整数 $n\ (1\le n\le 10^6)$，表示水杯数量。

Output

一行一个整数，表示协同可口的二元组数量。

Samples

5

5

Note

题目中的 $\gcd(a,b)$ 即 $a,b$ 的最大公约数。

最大公约数定义可参考最大公约数 - 百度百科。

Resources

电子科技大学第十二届 ACM 趣味程序设计竞赛