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