N, *A = map(int, open(0).read().split())

c = 0
for i in range(N - 1, -1, -1):
    if c + A[i] == 0:
        continue
    if c + A[i] == i - 1:
        c += 1
    else:
        print('No')
        exit()
print('Yes')