#include<bits/stdc++.h>
using namespace std;
int main()
{
	int n;
	cin>>n; 
	int sum = 0;
	n++;
	while(n--)
		sum+=n;
	cout <<sum<<endl;
}