#include<stdio.h>
int main (){
    int n;
    scanf("%d",&n);
    printf("%d",n*(n+1)/2) ;
    return 0;
    
    }