var os = require('os');

process.stdin.resume();
process.stdin.setEncoding('utf8');
var input_string = '';

process.stdin.on('data', function(chunk) {

	input_string += chunk;

});

process.stdin.on('end', function() {

	var array_data = dataget();

	// 件数
	var n = parseInt(array_data[0][0])

	var mysum=0
	for (var i = 1; i <= n; i++) {

		mysum+=i

	}


	cl(mysum)


	function cl(arr) {

		console.log(arr)

	}

	function dataget() {

		var array_temp = []

		// 改行で分解
		array_temp = input_string.toString().split('\n');

		// return array_temp;
		return space_split(array_temp);

		// return hash_split(array_temp);

	}

	function plus_split(arr) {

		var array_result = [];

		for (var i = 0; i < arr.length - 1; i++) {

			array_result[i] = arr[i].split("+");

		}

		return array_result;

	}

	function hash_split(arr) {

		var hash = {};

		for (var i = 0; i < arr.length - 1; i++) {

			var k = arr[i].split(' ')[0]
			var v = arr[i].split(' ')[1]

			hash[k] = v

		}

		return hash;

	}

	function space_split(arr) {

		var array_result = [];

		for (var i = 0; i < arr.length - 1; i++) {

			array_result[i] = arr[i].split(' ');

		}

		return array_result;

	}

});