#include <stdio.h>

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