#include #include #include #include #include #include #include #include #include #include #include #include using namespace std; using namespace atcoder; using Graph = vector>; using ll = long long; typedef pair P_ll; typedef pair P; const ll INF_ll = 1e17; const int INF = 1e8; template bool chmax(T& a, const T& b) { if (a < b) { a = b; return 1; } return 0; } template bool chmin(T& a, const T& b) { if (b < a) { a = b; return 1; } return 0; } template using min_priority_queue = priority_queue, greater>; int main() { int N; cin >> N; vector A(N); for (int i = 0; i < N; i++) { cin >> A[i]; } bool ok = true; ll c = 0; for (int i = N - 1; i >= 0; i--) { if (A[i] > i + 1) { ok = false; break; } ll x = A[i] + c; if (x % (i + 1) != 0) { ok = false; break; } c += x / (i + 1); } if (ok) { cout << "Yes" << endl; } else { cout << "No" << endl; } return 0; }