Bài 1 : Đếm cặp số (4.0 điểm)

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\).

Input

Vào từ tệp văn bản BAI1.INP gồm một dòng duy nhất chứa số nguyên \(k\).

Output

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

Example

6

6

Scoring

• 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.