#include <bits/stdc++.h>

using namespace std;


int main(void)
{
	cin.tie(0);
	ios::sync_with_stdio(false);

    int n;
    
	cin >> n;

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

	return 0;
}