i=Number(require("fs").readFileSync("/dev/stdin", "utf8").split("\n")[0]),t=0;
for(c=0;c<=i;c++){
    t+=c;
}
console.log(t);