I had to remove this, because I misread the formula for $A_n$ in the original post!