#include <stdio.h>

int main(void)
{
    char a,i;
    int ans;
    scanf("%hhd",&a);
    
    ans = 0;
    for (i=1;i<a;i++) {
        ans += i;
    }
    printf("%d\n",ans);
}