#include<stdio.h>

int main(void){
    int a;
    scanf("%d", &a);
    printf("%d\n", (1+a) * a >>1);
    return 0;
}