use std::io::stdin;

fn main() {
    let n = {
        let mut line = String::new();
        stdin().read_line(&mut line).ok();
        line.trim().parse::<usize>().unwrap()
    };
    println!("{}", n * (n+1) / 2);
}