Lemma 13.4. Assuming that:

  • B>0

Then
#{PE()|ĥ(P)B}<.