N=gets.to_i
H=gets.split.map(&:to_f)
ans="Yes"

p0=0
p1=H.shift

(N-1).times {
    p2=H.shift
    if p2>=p1
        p0=p1
        p1=p2
        next
    elsif p2>=p1-1 && p1-1>=p0
        p0=p1-1
        p1=p2
        next
    else
        ans="No"
        break
    end
}

puts ans