I've read that a weak but explicit version of the Prime Number Theorem states that the product of primes between and (inclusive) is at least for all . I don't think this proof can be elementary (although if someone can prove it below then that would be great!) but is this a standard result? If so, where can I find a proof? I've searched but haven't managed to find anything.