No, BPP is not known to be in NP. It is known to be in Sigma_2 and Pi_2.
If I could edit again, I'd make it read as "For instance, let P <= BPP <= NP".
No, BPP is not known to be in NP. It is known to be in Sigma_2 and Pi_2.