use std::io::{self, Read};

fn main() {
    let mut n = String::new();
    io::stdin().read_to_string(&mut n);
    let n: u8 = n.trim().parse().unwrap();
    println!("{}", n * (n + 1) / 2);
}