#include <stdio.h>
int main(void){
    int a=0;
    scanf("%d", &a);
    printf("%d", (1+a) * a >>1);
    return 0;
}