#include <cstdio>

int main()
{
    int n; scanf("%d", &n);
    printf("%d", (1 + n) * n / 2);
    return 0;
}