function Main(input) {
    let src = input.split("\n");
    let N = parseInt(src[0]);
    let ans = 0;

    for (let i = 1; i <= N; i++) {
        ans += i;
    }
    console.log(ans);
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));