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