N = gets.to_i
ans = N / 2 + (N + 1) / 2 + (N / 2) * ((N + 1) / 2)
puts ans