#include "stdio.h"

void main(void){
    int num;
    int i;
    scanf("%d",&num);
    for(i=num-1;i>0;i--){
        num=i+num;
    }
    printf("%d\n",num);
}