# frozen_string_literal: true

def gudge(arr)
  return true if arr.size == 1
  (arr.size - 2).downto(0).each do |idx|
    border = arr[idx] - arr[idx + 1]
    return false if border > 1
    arr[idx] -= 1 if border == 1
  end
  true
end

STDIN.gets
input_h = STDIN.gets.split.map(&:to_i)
puts gudge(input_h) ? 'Yes' : 'No'
