#53834: python一行解


liu_owo_tw (liu ouo tw)


print(sum(i for i in range(int(input()) + 1)))