#include<iostream>
int main(void)
{
	long long n, k, ans = 0;
	std::cin >> n >> k;
	ans = (((n * (n + 1) / 2)) - (2 * ((n - k) * ((n - k) + 1) / 2) - (n * (n + 1) / 2))) / 2 + 1;
	std::cout << ans << std::endl;
	return 0;
}