  // A - キャンディーとN人の子供イージー / Children and Candies (ABC Edit) https://atcoder.jp/contests/abc043/tasks/abc043_a

  import io.Source

  object Main extends App {
    Source.stdin.getLines().foreach { line =>
      val n = line.toInt
      println(solve(n))
    }

    def solve(n: Int): String = {
      ((1 + n) * n / 2).toString
    }
  }
