#include<bits/stdc++.h> using namespace std; int main(){ /** long long a,b,c; cin>>a>>b>>c; if(a%c==0 && b%c==0){ cout<<a*b/(c*c); }else{ cout<<-1; } double h=100; for(int i=1;i<=10;i++){ h = h/2; } printf("%.6lf",h); **/ int a=1; int n; cin>>n; for(int i=0;i<n-1;i++){ a=a+i; } cout<<a<<endl; return 0; }