n,*a=map(int,open(0).read().split())
t=k=0
while a:
 c=a.pop()
 if c==0:0
 elif c+t==n:t+=1
 else:k=1
 n-=1
print('YNeos'[k::2])