3 ms·
It might be not-super-difficult to prove that primorials larger than 5040 always do satisfy the inequality, due to the fairly simple structure of primorials. I
by kevinventullo 7y ago
It might be not-super-difficult to prove that primorials larger than 5040 always do satisfy the inequality, due to the fairly simple structure of primorials. I was never great at analysis, so I don't see how to do it offhand, but I suspect it is significantly easier than the full RH.