#include <stdio.h> int main() { int n=0; long int sum=0; scanf("%d",&n); while(n!=0) { sum+=n; n--; } printf("%ld",sum); return 0; }