Cặp ước chung

Ước chung lớn nhất của hai số nguyên dương $a$ và $b$ là số nguyên dương $c$ lớn nhất mà cả $a$ và $b$ đều chia hết cho nó.

Cho hai số nguyên dương $n,k$.

Yêu cầu: Hãy đếm số lượng cặp số nguyên dương $x,y$ thỏa mãn $1\le x\le y\le n$ và có ước chung lớn nhất lớn hơn hoặc bằng $k$.

Dữ liệu vào

Một dòng duy nhất chứa hai số nguyên dương $n,k$ ($1\le k<n\le {10}^6$), các số ghi cách nhau bởi một dấu cách.

Dữ liệu ra

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

Ràng buộc

• $1\le k<n\le {10}^6$.

Subtasks

• Subtask 1 ($70\%$ số điểm): $n\le {10}^3$.
• Subtask 2 ($15\%$ số điểm): $n\le {10}^6$, $n-k\le {10}^3$.
• Subtask 3 ($15\%$ số điểm): Không có ràng buộc gì thêm.

Ví dụ