#include<iostream> using namespace std; int main() { int n,p,a[10000]; cin>>n>>p; p>=12; n<=500; int s; s=2*p; for(int i=p+1;i<=n;i++) s=s+i; cout<<s; return 0; }