use std::io;
fn main() {
    let n = read_n();
    println!("{}", n * (n + 1) / 2);
}

fn read_n() -> i32 {
    let mut s = String::new();
    io::stdin().read_line(&mut s).unwrap();
    return s.trim().parse().unwrap();
}