use proconio::input; fn main() { input! { n: i32, } println!("{}", (n + 1) * n / 2) }