#include <stdio.h>

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