#include <stdio.h>

int main (void){
    int N;
    int sum;
    scanf("%d",&N);
    sum=(1+N)*N/2;
    printf("%d",sum);
}