#include int main(void){ int N,rslt=0; scanf("%d",&N); for(int i=N;i>0;i--){ rslt+=N; N--; } printf("%d\n",rslt); return 0; }