use std::io;
fn main() {
    let mut line = String::new();
    io::stdin().read_line(&mut line);
    let mut sum = 0;
    for i in 1..(line.trim().parse::<i32>().unwrap()+1) {
        sum += i;
    }
    println!("{}", sum);
}