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