#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>

int main(void) {
	int n, k, i;
	int num = 0;
	scanf("%d %d", &n, &k);
	for (i = k; i < n + 2; i++) {
		num = num + i * (n - i + 1) + 1;
	}
	printf("%d", num);
	return 0;
}