Đếm cặp số

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.b \le k$

Vào từ tệp BAI1.INP gồm một dòng duy nhất chứa số nguyên $k$.

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

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