// yukicoder: No.821 Making Integers
// 2019.7.29 bal4u

#include <stdio.h>

typedef long long ll;

int main()
{
	ll N, K;

	scanf("%lld%lld", &N, &K);
	printf("%lld\n", ((N<<1)-K+1)*K/2+1);
	return 0;
}