io = STDIN
n=io.gets.to_i
h=io.gets.split.map(&:to_i)
def check(n,h)
  return 'Yes' if n==1
  (0..n-1).each_cons(2) do |i,j|
    if h[i]==h[j]
    elsif h[i]+1==h[j]
      h[j]-=1
    elsif h[i]>h[j]
      return 'No'
    end
  end
  'Yes'
end
puts check(n,h)
