<?php
    //一行分を読み込む, 空白で分割してそれぞれ$aと$bの変数に入れる
    list($a) = explode(" ", trim(fgets(STDIN)));
    
    for ($i = 1; $i <= $a; $i++) {
         $total +=$i;
    }
 
    printf("$total\n");