#include<bits/stdc++.h> using namespace std; long long n; int main(){ int n; cin>>n; cout<<(n*n+n+2)/2; return 0; }