#include<bits/stdc++.h> using namespace std; int main(){ int n,m,sum=0; cin>>n>>m; while(m<n){ sum+=m; m--; } cout<<sum; return 0; }