function Main(input) {
  const num = Number(input.split("\n")[0]);

  var res = 0;
  for (i = 1; i <= num; i++) {
    res += i
  }

  console.log(res);
}

// Don't edit this line!
Main(require("fs").readFileSync("/dev/stdin", "utf8"));