const input = require('fs').readFileSync('dev/stdin').toString();
let result = 0;
for (let i = 1; i <= Number(input); i++) result += i;
console.log(result);
const input = require('fs').readFileSync('dev/stdin').toString();
let result = 0;
for (let i = 1; i <= Number(input); i++) result += i;
console.log(result);