#include<stdio.h>

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