#include<algorithm>
#include<iostream>
#include<cstdlib>
#include<cstring>
#include<cstdio>
#include<vector>
#include<queue>
#include<cmath>
#include<map>
#include<set>
#define LL long long int
#define REP(i,n) for (int i = 1; i <= (n); i++)
#define Redge(u) for (int k = h[u],to; k; k = ed[k].nxt)
#define cls(s,v) memset(s,v,sizeof(s))
#define mp(a,b) make_pair<int,int>(a,b)
#define cp pair<int,int>
using namespace std;
const int maxn = 100005,maxm = 100005,INF = 0x3f3f3f3f,P = 1000000007;
inline LL read(){
LL out = 0,flag = 1; char c = getchar();
while (c < 48 || c > 57){if (c == '-') flag = 0; c = getchar();}
while (c >= 48 && c <= 57){out = (out << 1) + (out << 3) + c - 48; c = getchar();}
return flag ? out : -out;
}
LL N,K,ans = 0;
int main(){
cin >> N >> K;
if (K == 1){cout << N % P << endl; return 0;}
if (N == 1){cout << K % P << endl; return 0;}
ans = (N + N + K - 2) % P;
for (LL i = 3,nxt; i <= K && i <= N; i = nxt + 1){
nxt = N / (N / i);
if (nxt > K) nxt = K;
ans = (ans + 1ll * (N / i) % P * ((nxt - i + 1) % P) % P) % P;
}
N--;
for (LL i = 3,nxt; i <= K && i <= N; i = nxt + 1){
nxt = N / (N / i);
if (nxt > K) nxt = K;
ans = (ans + 1ll * (N / i) % P * ((nxt - i + 1) % P) % P) % P;
}
N++;
ans = (ans % P + P) % P;
cout << ans << endl;
return 0;
}