#include <stdio.h>
int main(void){
    int a;
    int count,sum=0;
    scanf("%d",&a);
    for(count=1;count!=a;count++){
        sum=sum+count;
        
    }
    printf("%d",sum);
    return 0;
}