fn main() { let mut n = String::new(); std::io::stdin().read_line(&mut n).expect(""); let n = n.trim().parse::().unwrap(); println!("{}", (1..n + 1).into_iter().sum::()); }