#include <stdio.h>

int main() {
    int a;
    scanf("%d",&a);
    printf("%lld\n",(long long)((a+1)*(a/2.0)));
    return 0;
}