n=gets.to_i p [0, (n+1)*n/2-1-1].max