#include<bits/stdc++.h> using namespace std; int main(){ int i,n,b=1; cin>>n; for(i=0;i<n-1;i++){ b=b+i; } cout<<b; return 0; }