BPP ⊆ AM

Inclusion · folklore

Statement

BPP $\subseteq$ AM — folklore.

Sketch

Arthur ignores Merlin’s message and runs the BPP decider; completeness $2/3$ and soundness error $1/3$ are then exactly the BPP acceptance conditions.