_ = gets.chop.to_i

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

ret = true
h.each_index{|i|
  if i != h.size - 1
    if h[i + 1] < h[i]
      h[i] -= 1
    end

    if (i != 0 && h[i] < h[i - 1]) || h[i + 1] < h[i]
      ret = false
    end
  elsif h[i] < h[i - 1]
    ret = false
  end
}

if ret
  puts "Yes"
else
  puts "No"
end