n = gets.to_i
h = gets.split.map(&:to_i)
c = 0

n.times do |i|
  if i < h.length - 1
    if h[i] > h[i+1]
      if h[i] - h[i+1] == 1
        c += 1
      end
    end
  end
end

if c <= 1
  puts "Yes"
else
  puts "No"
end
