use proconio::input;

fn main(){
    input!{
        n: usize,
        p: [usize; n],
    }

    let mut ans: usize = 0;
    for (i, x) in p.iter().enumerate(){
        ans += x-i-1;
    }

    ans /= 2;
    println!("{}", ans);
}