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