contests/atcoder/beginner_contests/abc043/src/bin/a.rs

use proconio::input;

fn main() {
    input!{
        n: u32,
    };

    let result = n * (n + 1) / 2;

    println!("{}", {result});
}