#include <bits/stdc++.h>

int main()
{
	long long N, K;
	scanf("%lld%lld", &N, &K);
	K = std::min(K, N);
	printf("%lld\n", K * (N - K + 1 + N) / 2 + 1);

	return 0;
}