#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
#define REP(i,a,n) for(int i=(a); i<(int)(n); i++)
#define rep(i,n) REP(i,0,n)
#define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it)
#define ALLOF(c) (c).begin(), (c).end()
typedef long long ll;
typedef unsigned long long ull;
//using mint = modint1000000007;
using mint = modint998244353;



int main(){
  int n, m;
  cin >> n >> m;

  if(n < m) m = n;
  
  mint ret(0);
  
  int lhs = 1;
  while(lhs <= m){
    int rhs = n / (n/lhs);
    if(rhs >= m) rhs = m;
    
    mint a = (rhs+1-lhs);
    a *= (lhs+rhs);
    a /= 2;
    
    int x = n / lhs;
    mint mx(x);
    mint b = (mx*mx);
    b += mx * 3;
    b /= 2;
    
    ret += a * b;

    lhs = rhs + 1;
  }

  cout << ret.val() << endl;
  
  return 0;
}