#include <bits/stdc++.h>   using namespace std;   void solve() {     long long n, v;     cin >> n >> v;     if (n >= v) {       long long t = (n - v) * (n - v + 1);       t /= 2;       t += v - 1;       cout << t;     } else {       cout << n - 1;     }   }   int32_t main() {     ios_base::sync_with_stdio(false);     cin.tie(NULL);     long long t;     t = 1;     while (t--) solve();     return 0;   }   