#include<iostream> using namespace std; int main(){ int n,an=1; cin>>n; for(int i = 0;i < n-1;i++){ an = an+i; } cout<<an<<endl; return 0; }