#include<stdio.h>

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