N = gets.to_i
H = gets.split.map(&:to_i)

max = H[0]
ans = true
1.upto(N - 1) do |i|
  if H[i] > max
    H[i] -= 1
    max = H[i]
  elsif H[i] < max
    ans = false
    break
  end
end

if ans
  puts 'Yes'
else
  puts 'No'
end
