#include<bits/stdc++.h>
using namespace std;
long long n,k,sum;
int main()
{
    cin>>n>>k; 
    for(int i=1;i*2<=n;i++)
	{
		if(i>k)
		{
			break;//已经用完次数了 
		}
        sum=sum+2*(n-2*i)+1;//计算增加的逆序对 
    }
    cout<<sum;
    return 0;
}