#include<stdio.h>
int main()
{
	int i,m=0,z,n,k,x;
	scanf("%d%d%d",&n,&k,&x);
	z=n-2;
	for(i=0;i<(z-1);i++)
	{
		m=m+k;
		k=k-1;
	}
	printf("%d\n",m);
	return 0;
}