use std::io::stdin;

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