<?php

    $x = trim(fgets(STDIN));
    
    $ans = 0;
    for($i = 1; $i <= $x; $i++) {
        $ans += $i;
    }
    
    echo $ans;

?>