$n = fgets(STDIN);
$count = 0;
for($i=1;$i<=$n;$i++){
    $count += $i;
}

echo $count;