const n = Number(require("fs").readFileSync(0, "utf-8").toString());
console.log(n*(n+1)/2);