What are all the zeroes of the [analytic continuation of] f(s) := Prod 1/(1 - 1/q^s) q where q ranges over all the Sylvester primes ? --Dan
On Feb 26, 2015, at 2:45 PM, Bill Gosper <billgosper@gmail.com> wrote:
Hi William, you could simplify the p16 proof of the infinitude of the primes. Put any positive integer (e.g.1) in a bag. Repeat forever: Include in the bag the number formed by adding 1 to the product of all the numbers already in the bag.
Each new inclusion is relatively prime to all the rest, so no prime appears more than once among the factorizations. This requires an infinitude of primes.
If we start with 1, it's sort of neat that the successive inclusions are 2, 3, 7, 43, ..., A000058, Sylvester's sequence, whose reciprocals sum to 1 by being the denominators of the greedy Egyptian expansion of 1-1/∞. --Bill Gosper _______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun