#include<stdio.h>
int main(){
	int a,b,t;
	double sum;
	scanf("%d%d",&a,&b);
	t=b;
	do{
		sum+=t;
		t++;
		
	}while(t<=a);
	printf("%f",sum);
	return 0;
}