fn getline() -> String{
	let mut __ret=String::new();
	std::io::stdin().read_line(&mut __ret).ok();
	return __ret;
}

fn main(){
	let s=getline();
	let x:i32=s.trim().parse().unwrap();
	print!("{} ",(x+1)*x/2);
}