using System;

namespace yukicoder
{
    class Program
    {
        static void Main(string[] args)
        {
            int n = int.Parse(Console.ReadLine());
            for(int i = n - 1;0 < i; i--)
            {
                n += i;
            }
            Console.WriteLine("{0}", n);
        }
    }
}