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