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