import sequtils, strutils, math
 
let n = parseInt readLine stdin
 
echo sum toSeq 1..n