#include <stdio.h> int main() { int N,count=0,i; scanf("%d",&N); for(i=1; i<N+1; i++){ count += i; } printf("%d",count); return 0; }