use proconio::input;

fn main() {
    input! {
        n: usize,
    }
    let mut sum = 0;
    for i in 0..n+1 {
        sum += i as i32;
    }
    println!("{}", sum);
}