It is therefore reasonable that the behaviour of p should in some rough sense approximate the behaviour of q.
For most of the proof it suffices to use the rough bound p<1.