/*
#include <stdio.h>
#include <stdlib.h>
int main()
{
printf("Hello world!\n");
return 0;
}
*/
/*
int f(){
return 1;
}
int main(){
printf("%d", f());
return 0;
}
*/
/*
#include <stdio.h>
#include <math.h>
int main()
{ double a, b, c, d;
scanf("%lf %lf %lf",&a, &b, &c);
d=(b*b)-4*a*c;
if(d==0){
printf("%.2lf",-b/(2*a));
}
else if(d>0){
printf("%.2lf+%.2lf\n%.2lf-%.2lf",-b/(2*a),sqrt(d)/(2*a),-b/(2*a),sqrt(d)/(2*a));
}
else{
printf("%.2lf+%.2lfi\n%.2lf-%.2lfi",-b/(2*a),sqrt(-d)/(2*a),-b/(2*a),sqrt(-d)/(2*a));
}
}
*/
/*
long long int f(){
return -2147483649;
}
int main(){
printf("%lld", f());
return 0;
}
*/
/*
float f(){
return 3.14;
}
int main(){
printf("%f", f());
return 0;
}
*/
/*
double f(){
return 3.1415926535897;
}
int main(){
printf("%.13lf", f());
return 0;
}
*/
/*
int n, d[110];
int f()
{
int i,max=d[0],j=0;
for(i=0; i<n; i++)
{
if(d[i]>max)
{
max=d[i];
j=i;
}
}
return j+1;
}
int main()
{
scanf("%d", &n);
for(int i=0; i<n; i++)
{
scanf("%d", &d[i]);
}
printf("%d", f());
return 0;
}
*/
/*
int n;
long long int d[110];
long long int f()
{
int i;
long long int min=d[1];
for(i=1; i<=n; i++)
{
if(d[i]<min)
{
min=d[i];
}
}
return min;
}
int main()
{
scanf("%d", &n);
for(int i=1; i<=n; i++)
{
scanf("%lld", &d[i]);
}
printf("%lld", f());
return 0;
}
*/
/*
int n;
void f(int n){
if(n==1){
printf("hello");
}
else if(n==2){
printf("world");
}
}
int main(){
scanf("%d", &n);
f(n);
return 0;
}
*/
/*
int a, b;
int gcd(int a, int b){
int c,tmp;
if(a>b){
tmp=a;
a=b;
b=tmp;
}
for(c=a; c>0;c--){
if(a%c==0 && b%c==0)
{
return c;
}
}
}
int main(){
scanf("%d %d", &a, &b);
printf("%d\n", gcd(a, b));
}
*/
/*
int gcd(int p, int q){
if(p==0){
return q;
}
return gcd(q%p, p);
}
long long int lcm(int a, int b){
long long int c;
c=(long long int) gcd(a,b)*(a/gcd(a,b))*(b/gcd(a,b));
return c;
}
int main(){
int a, b;
scanf("%d %d", &a, &b);
printf("%lld\n", lcm(a, b));
}
*/
/*
int n, m, x;
int max(int p, int q){
return p>=q?p:q;
}
int min(int p, int q){
return p<q?p:q;
}
int mid(int n, int m, int x){
if(n<=m&&n<=x){
return min(m,x);
}
else{
return max((min(n,m)),x);
}
}
int main(){
scanf("%d %d %d", &n, &m, &x);
printf("%d\n", mid(n,m,x));
}
*/
/*
int n, k, d[1010];
int lower_bound(int k)
{
int i;
for(i=1; i<=n; i++)
{
if(k<=d[i])
{
return i;
}
}
return n+1;
}
int main()
{
scanf("%d", &n);
for(int i=1; i<=n; i++)
{
scanf("%d", &d[i]);
}
scanf("%d", &k);
printf("%d\n", lower_bound(k));
}
*/
/*
int a, b, d, arr[i];
int d(int n){
return n+n/10+n%10;
}
int main(){
scanf("%d %d", &a, &b);
for(i=a; i<=b; i++){
a[i]=i;
}
for(i=a; i<=b; i++){
if(a[i]==0){
}
d(n)
}
*/
int n;
long long int f(int n){
long long int i, sum=0;
for(i=1; i<=n; i++){
sum+=i;
return sum;
}
}
int main(){
scanf("%d", &n);
printf("%lld\n", f(n));
}