#include<bits/stdc++.h>
using namespace std;
int n,m,s;
int main()
{
cin>>n>>m;
for(int i=1;i<=n;i++)
{
for(int j=1;j<=i;j++)
{
s++;
if(i==n&j==m)	cout<<s;
}
}

}