#include<bits/stdc++.h> using namespace std; int main(){ int n,k; cin>>n>>k; int p=k; int ans=n*2; for(int i=1;i<=n-k;i++){ ans+=p-1; p++; } cout<<ans; return 0; }