Think I got it...
Lemma 3 insures it. If then is 1 or 0.
Proof of Bertrand's postulate - Wikipedia, the free encyclopedia
I don't understand why the product in red underline less than the product in the red box in the attachment.
For the definition of R(p,n) please see the link.