H =[];N = gets.chomp;H = gets.chomp.split(' ').map(&:to_i);c = 0;H.each{|i| c = c + 1 if H[c+1] == nil;break if H[c+1] == nil;break if i-1 > H[c+1];d = 0;d = i-1;break if H[i..-1].keep_if{|e| e < d}.length < 0;c+=1};p c;p N.to_i==c ? "Yes":"No"