#include <bits/stdc++.h>
#define rep(i,n) for(int i=0; i<(n); i++)
using namespace std;
typedef long long ll;

int main(){
	int n; cin>>n;
	
	int ans=0;
	rep(i,n+1) ans+=i;

	cout << ans << endl;
}