#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; return 0; }