#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
//#define int long long 
#define rep(i, a, b) for (int i = a; i < b; i++)
#define rrep(i, a, b) for (int i = a; i >= b; i--)
#define ALL(x) std::begin(x), std::end(x)
int main()
{
	cin.tie(0);
	ios::sync_with_stdio(false);
	constexpr char endl = '\n';
	int N; cin >> N;

	cout << (1+N)*N / 2 << '\n';
	
}