let input = require("fs").readFileSync("/dev/stdin","utf-8").split("\n");
total = 0;
for (let i = 1; i <= input[0]; i++) {
	total += i;
}

console.log(total);