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