Đề bài

Cho số nguyên dương N.

Đếm số cặp (i, j) thỏa mãn:

1 ≤ i ≤ j ≤ N
j chia hết cho i

Dữ liệu vào

Một dòng chứa số nguyên N.

Dữ liệu ra

In ra số lượng cặp thỏa mãn.

Giới hạn

1 ≤ N ≤ 10¹²

Ví dụ

Input

5

Output

10

Giải thích

Các cặp là:

(1,1) (1,2) (1,3) (1,4) (1,5)
(2,2) (2,4)
(3,3)
(4,4)
(5,5)