#include<stdio.h>

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