function Main(input) {
    const data = input.split("\n")
    const n: number = Number(data[0]);
    let result = 0;
    for (let i = 1; i <= n; i++) {
        result = result + i;
    }
    console.log(result);
}

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