Cho số nguyên dương \(k\) (\(1 \le k \le 10^{12}\)).

Yêu cầu: Đếm số lượng các cặp số nguyên dương \(a, b\) thỏa mãn: \(a < b\) và \(a \cdot b \le k\).

Dữ liệu vào

• Gồm một dòng duy nhất chứa số nguyên \(k\).

Dữ liệu ra

• Ghi ra một số nguyên duy nhất là kết quả của bài toán.

Ràng buộc

• Có 80% số test ứng với 80% số điểm của bài thỏa mãn: \(k \le 10^3\).
• 20% số test còn lại ứng với 20% số điểm của bài không có ràng buộc gì thêm.

Ví dụ

Input

6

Output

6

Giải thích
Các cặp số thỏa mãn là: \((1,2)\), \((1,3)\), \((1,4)\), \((1,5)\), \((1,6)\), \((2,3)\).