module Main;

import CPLib.IO;

main : IO () = (
    let n = *read_i;
    (n*(n+1)/2).to_string.println
);