#include<stdio.h> int main(){ int a; scanf("%d",&a); int p; p = (1 + a) * (a/2.0); printf("%d",p); return 0; }