#include <stdio.h>

int main()
{
    int tmp,loop,result = 0;

    for(loop=1;loop<tmp;loop++){
        result += loop;
    }
    
    printf("%d\n",result);

    return 0;
}