#include <stdio.h>  // scanfとprintfを使うおまじない

int main(int argc, char *argv[]){

    
    int A=0;
    int all=0;
    scanf("%d",A);
    for(int i=0;i<A;i++){
        all+=i;
    }
    printf("%d",all);
    return 0;
}