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