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