#include<bits/stdc++.h>
using namespace std;
typedef long long LL;

int n;
LL ans;

int main()
{
	cin >> n;
	
	ans = n * (1 + n) / 2;
	
	cout << ans;
	
	return 0;	
}