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