#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include // #pragma GCC target("avx") // #pragma GCC optimize("O3") // #pragma GCC optimize("unroll-loops") //if(a < 0 || h <= a || b < 0 || w <= b)return; using namespace std; using namespace atcoder; using ll = long long; using ld = long double; using ull = unsigned long long; using mint = modint998244353; //using mint = modint1000000007; //using VL = vector; template using pq = priority_queue;//降順?(最大取り出し) template using pqg = priority_queue, greater>;//昇順?(最小取り出し) template using vector2 = vector>; template using vector3 = vector>>; template using vector4 = vector>>>; template using vector5 = vector>>>>; template using vector6 = vector>>>>>; template using pairs = pair; #define rep(i, n) for (ll i = 0; i < ll(n); i++) #define rep1(i,n) for(int i = 1;i <= int(n);i++) #define repm(i, m, n) for (int i = (m); (i) < int(n);(i)++) #define repmr(i, m, n) for (int i = (m) - 1; (i) >= int(n);(i)--) #define rep0(i,n) for(int i = n - 1;i >= 0;i--) #define rep01(i,n) for(int i = n;i >= 1;i--) // ユークリッドの互除法による最大公約数算出 ll GCD(ll a,ll b){ if(b == 0)return a; return GCD(b, a % b); } //拡張ユークリッドの互除法による(ax + by = GCD(a,b))を満たすx,yの算出 pair extgcd(long long a, long long b) { if (b == 0) return make_pair(1, 0); long long x, y; tie(y, x) = extgcd(b, a % b); y -= a / b * x; return make_pair(x, y); } struct UnionFind { vector par; // par[i]:iの親の番号 (例) par[3] = 2 : 3の親が2 UnionFind(int N) : par(N) { //最初は全てが根であるとして初期化 for(int i = 0; i < N; i++) par[i] = i; } int root(int x) { // データxが属する木の根を再帰で得る:root(x) = {xの木の根} if (par[x] == x) return x; return par[x] = root(par[x]); } void unite(int x, int y) { // xとyの木を併合 int rx = root(x); //xの根をrx int ry = root(y); //yの根をry if (rx == ry) return; //xとyの根が同じ(=同じ木にある)時はそのまま par[rx] = ry; //xとyの根が同じでない(=同じ木にない)時:xの根rxをyの根ryにつける } bool same(int x, int y) { // 2つのデータx, yが属する木が同じならtrueを返す int rx = root(x); int ry = root(y); return rx == ry; } }; ll n; struct UnionFind2 { vector2 par; // par[i]:iの親の番号 (例) par[3] = 2 : 3の親が2 UnionFind2(int N) : par(N,vector(N)) { //最初は全てが根であるとして初期化 for(int i = 0; i < N; i++)for(int j = 0;j < N;j++) par[i][j] = i * N + j; } int root(int y,int x) { // データxが属する木の根を再帰で得る:root(x) = {xの木の根} if (par[y][x] == y * n + x) return y * n +x; return par[y][x] = root(par[y][x] / n,par[y][x] % n); } void unite(int y0, int x0,int y1,int x1) { // xとyの木を併合 int rx = root(y0,x0); //xの根をrx int ry = root(y1,x1); //yの根をry if (rx == ry) return; //xとyの根が同じ(=同じ木にある)時はそのまま par[rx / n][rx % n] = ry; //xとyの根が同じでない(=同じ木にない)時:xの根rxをyの根ryにつける } bool same(int y0, int x0,int y1,int x1) { // 2つのデータx, yが属する木が同じならtrueを返す int rx = root(y0,x0); int ry = root(y1,x1); return rx == ry; } }; //座標圧縮 vector Ccomp(vector a){ vector b = a; sort(b.begin(),b.end()); b.erase(unique(b.begin(),b.end()),b.end());//ダブり消去 vector rtn; rep(j,a.size()){ ll pb = lower_bound(b.begin(),b.end(),a[j]) - b.begin(); rtn.push_back(pb); } return rtn; } /// ここから//////////////////////////////////////////// using F = ll; using S = ll; string s; ll modPow(ll a, ll n, ll mod) { if(mod==1) return 0;ll ret = 1; ll p = a % mod; while (n) { if (n & 1) ret = ret * p % mod; p = p * p % mod; n >>= 1; } return ret; } void cincout(){ ios::sync_with_stdio(false); std::cin.tie(nullptr); cout<< fixed << setprecision(15); } //seg,遅延segの設定-----ここから S op(S a,S b){return a+b;}//何を求めるか(最大値とか) S e(){return 0;}//モノイド(初期値) bool f(int a){return a > 0 ;}//めんどいやつ //S mapping (F a,S b){return a + b;}//遅延処理 F composition (F a,F b){return a + b;}//遅延中の枝にさらに処理 F id(){return 0;}//遅延のモノイド vector Op(vector a,vector b){a.insert(a.end(),b.begin(),b.end()); return a;} vector E(){return vector (0);} //segここまで // string abc = "abcdefghijklmnopqrstuvwxyz"; string abc = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"; ll mod = 998244353; int main() { ll INF = ll(2e18); cincout(); ll m; cin >> n >> m; mint ans = 0; vector a(ll(1e6) + 1,0); for(ll j = 1;j * j <= m;j++){ //cout << j << endl; if(j > n){ cout << ans.val() << endl; return 0; } a[j] = 1; ans += m % j; //if(j * j == m)ans++; } //cout << ans.val() << endl; for(ll j = 1;(j) * (j) < m;j++){ if(a[m/j])break; if(m / j <= n){ ll num = m / j - m / (j + 1); ll mod = m / j; //cout << num << endl; mint now = (m % mod + m % mod + mint(j) * (num - 1))* num /2; //cout << now.val() << endl; ans += (m % mod + m % mod + mint(j) * (num - 1))* num /2; } else if(m / (j + 1) <= n){ //cout << "!" << endl; ll num = m / j - m/(j + 1); ll numm = m / j - n; ll mod = m / j; mint now = (m % mod + m % mod + mint(j) * (num - 1))* num /2 - (m % j + m % j + mint(j) * (numm - 1))* numm / 2; //cout << now.val() << endl; ans += (m % mod + m % mod + mint(j) * (num - 1))* num /2 - (m % j + m % j + mint(j) * (numm - 1))* numm / 2; } } if(n > m){ ans += mint(m) * (n - m); } cout << ans.val() << endl; return 0; }