#include <stdio.h>
int n;
int main(){
	scanf("%I64d", &n);
	printf("%I64d\n", n*(n+1)/2);
	return 0;
}