#include <bits/stdc++.h> using namespace std; #define int long long #define ll long long #define ld long double #define fastio() ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0); #define printclock cerr<<"\nTime : "<<1000*(ld)clock()/(ld)CLOCKS_PER_SEC<<"ms\t"; //-------------------------------------------------------------------| int32_t main() { fastio() int test = 1; cin >> test; while(test--) { int x, n, m, k; cin >> x >> n; m = x / n; int ans = 0; // part 1 : x / 1 to x / sqrt(x) for(int i = 1; i * i <= x && i <= n; i++) { ans += x / i; k = i; } // edge cases adjustment if(k == x / k && k * k != x) ans -= (x / k - x / (k + 1)) * k; // part 2 : to x / (x / 1) to x / (x / sqrt(x)) for(int i = 1; i * i < x; i++) ans += (x / i - x / (i + 1)) * i; // removing from x / (x) to x / (x / (n + 1)) if required for(int i = 1; i < m && i * i < x; i++) ans -= (x / i - x / (i + 1)) * i; // edge case adjustment if(m > 0) ans -= (x / m - n) * m; cout << ans << endl; } printclock }