BPP ⊆ PP

Inclusion · folklore

Statement

BPP $\subseteq$ PP: a $\mathbf{BPP}$ machine accepts yes-instances with probability at least $2/3$ and no-instances with probability at most $1/3$, so it meets the strict-majority criterion of $\mathbf{PP}$ as is — folklore.