#include <stdio.h>

int main(void){
    int N=0,i=1,wa=0;
    scanf("%d",&N);
    for(i=1;i<=N;i++){
        wa=wa+i;
    }
    printf("%d",wa);
    return 0;
}