#include<bits/stdc++.h>
using namespace std;
int n,a[150000];
int main(){
	cin>>n;//qqqq
    a[1]=2;

	for(int i=2;i<=n;i++){
		a[i]=a[i-1]+i;
	}
	cout<<a[n];
	
	return 0;
}