from itertools import accumulate
N = int(input())
*A, = map(int, input().split())
last = 0
for i, a in enumerate(A):
    if a:
        last = i
A = A[:last+1]
C = list(range(last, -1, -1))

if all((a+c) % (i+1) == 0 for i, (a, c) in enumerate(zip(A, C))):
    print('Yes')
else:
    print('No')