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