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