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