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

fn main() {
    run();
}