View Single Post
Old 2021-08-14, 01:22   #9
May 2018

44010 Posts

The proof can be further simplified by noticing that the primorial (a term coined by Harvey Dubner) in the denominator is an even integer while the numerator is an odd integer.

By the way, one could possibly use the term 'Mersennerial', n#M, for the product of the first n Mersenne prime exponents.
For instance, 13#M = 2 × 3 × 5 × 7 × 13.
Also, πM(n) could be the Mersenne-prime-exponent-counting function, and πM(13) = 5.
Dobri is offline   Reply With Quote