/*#include <stdio.h>
#include <stdlib.h>
int main()
{
int i,n,b=0;
scanf("%d", &n);
for(i=1; ; i++)
{
n=n/10;
if(n==0){
printf("%d",i);
break;
}
}
return 0;
}*/
/*
#include<stdio.h>
int main() {
int i, j, n;
scanf("%d", &n);
for(i=0; i<n; i++) {
for(j=0; j<n; j++) {
printf("%d,%d", i, j);
}
printf("\n");
}
}*/
/*
#include<stdio.h>
int main()
{
int i, j, n;
scanf("%d",&n);
for(i=0;i<n;i++){
for(j=1;j<n;j++){
printf("*");
}
printf("*\n");}
return 0;
}
*//*
#include<stdio.h>
int main()
{
int i,j,n;
scanf("%d",&n);
for(i=0; i<n; i++)
{
for(j=0; j<n; j++)
{
if(j==0||j==n-1||i==0||i==n-1)
{
printf("*");
}
else
{
printf(" ");
}
}
printf("\n");
}
return 0;
}
*//*
#include<stdio.h>
int main()
{
int i,j,n;
scanf("%d", &n);
for(i=0; i<n; i++)
{
for(j=0; j<n; j++)
{
if(i==0||i==n-1||j==0||j==n-1||i==j||i==n-1-j)
printf("*");
else
printf(" ");
}
printf("\n");
}
return 0;
}*//*
#include<stdio.h>
int main(){
int i,j, n;
scanf("%d", &n);
for (i=0;i<n;i++){
for(j=0;j<n;j++){
if(j==0||j==n-1||i==0||i==n-1||i==j||i==n-1-j||i==(n/2)||j==(n/2))
printf("*");
else { printf(" ");}
}
printf("\n");
}
return 0;}
*/
/*
#include<stdio.h>
int main() {
int i, j, n;
scanf("%d", &n);
for(i=0; i<n; i++) {
for(j=0; j<=i; j++) {
printf("*");
}
printf("\n");
}
}*//*
#include<stdio.h>
int main()
{
int i,j,n;
scanf("%d", &n);
for(i=0; i<n; i++){
for(j=0;j<=i; j++){
printf("*");
}
printf("\n");
}
return 0;
}*/
/*
#include<stdio.h>
int main()
{
int i,j,n;
scanf("%d", &n);
for(i=0; i<n; i++)
{
for(j=n-1; j>=i; j--){
printf("*");
}
printf("\n");}
return 0;
}*/
/*
#include<stdio.h>
int main()
{
int i, j, n;
scanf("%d", &n);
for(i=0; i<n; i++)
{
for(j=1; j<=i; j++)
{
printf(" ");
}
for(j=n-1; j>=i; j--)
{
printf("*");
}
printf("\n");
}
return 0;
}
*//*
#include<stdio.h>
int main()
{
int i,j,n;
scanf("%d", &n);
for(i=0; i<(n+1)/2; i++)
{
for(j=(n+1)/2-1;j>i;j--)
{
printf(" ");
}
for(j=0;j<i*2+1;j++)
{
printf("*");
}
printf("\n"); }
return 0;
}
*/
#include<stdio.h>
int main()
{
int i,j,s=0,n;
scanf("%d",&n);
for(i=1; i<=n; i++)
{
for(j=1; j<=i; j++)
{
s=s+j;
}
}
printf("%d", s);
return 0;
}