# frozen_string_literal: true

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

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