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