/* https://yukicoder.me/problems/no/480 */
use std::io;

fn main() {
    let mut input = String::new();
    io::stdin().read_line(&mut input).unwrap();
    let a: u32 = input.trim().parse().unwrap();
    let b: u32 = (1..a+1).sum();
    println!("{}", b);
}