n = gets.chop.to_i
h = gets.chop.split.map(&:to_i)

msg = 'Yes'

for i in 1..(n-2) do

  if h[i+1] < h[i] then
    h[i] -= 1

    if h[i+1] < h[i] or h[i] < h[i-1] then
      msg = 'No'
      break
    end

  end
end

puts msg

