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