i think that it's true that AM is contained in $\Pi_2$ but I'm not sure how to prove it.  How do I prove that $AM \subseteq \Pi_2$?
Proving that AM contained in Pi_2
complexity theory;complexity classes