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