const Main = (input) => {
  // const data = input.split("\n");
  let result = 0;
  for (let i = 0; i < input; i++) {
    result += i + 1;
  }
  console.log(result);
};

Main(require("fs").readFileSync("/dev/stdin", "utf8"));