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

msg = 'Yes'

if n == 1 then
  msg = 'Yes'
elsif n == 2 then
  if h[0]-1 > h[1] then
    msg = 'No'
  end
else
  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
end

puts msg
