#include <stdio.h>

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