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