n=gets.to_i
ary=gets.split.map &:to_i
i_max=ary[0]
check=0
ary.each do |i|
if i > i_max + 1
    check=1
    break
elsif i_max < i
    i_max = i
end
end

if check==0
    puts "Yes"
else
    puts "No"
end
