#include <bits/stdc++.h> using namespace std; int main() { int n; cin>>n; long long a[n+1]={1}; for(int i=1;i<=n;i++) { a[i]=a[i-1]+i; } cout<<a[n]<<endl; return 0; }