const data = require("fs").readFileSync("/dev/stdin", "utf8")

const n = parseInt(data, 10);

console.log(Array.from({ length: n }).map((v, i) => i + 1).reduce((a, b) => a + b, 0));