fn main() {
    proconio::input! {
        n: usize,
        a: [i64; n],
    }
    let is_possible = a.iter().enumerate().all(|(i, &x)| x <= (i + 1) as i64);
    if is_possible {
        println!("Yes");
    } else {
        println!("No");
    }
}