#include<bits/stdc++.h> using namespace std; int n,sum; int main(){ scanf ( "%d" , &n ); for(int i = 0; i < n; i ++){ sum +=i ; } printf ( "%d",sum+n ) ; return 0; }