$n = trim(fgets(STDIN));
$count = 0;

for($i =1;$i <= $n;$i++){
    &count += $i;
}

echo $count;