I follow the Spiked Math Blog and I especially liked the ‘Mathematicians Lottery‘ post which relies on the divergence of the harmonic series for the payout of the prize to insure that the payout can be managed.

The Wikipedia page on the harmonic series is very well done and the demonstation that this series diverges using an improper integral reminded me of the proof that I first saw when I was taking third semester calculs back in 1972 (forty years ago). Here is how the payout goes and the proof that you can award an arbitrary large sum of money as prizes in the lottery and get away with it even if you suppose that every ticket is a winner. Here is how all that goes: $\sum_{n=1}^{\infty}\frac{1}{n}$

The idea is that payout works like this: You get $1.00 the first week then (1/2)($1.00) the second week then (1/3)($1.00) the third week and because this series is divergent its partial sum is eventually greater than any finite number (even$750,000,000,000,000 “750 trillion dollars”).

The key is that the harmonic series diverges very, very slowly. To see that the series diverges at all it is enough to notice that it is bounded (from below) by something else that you can show ‘goes-to-infinity’. The choice is the following integral: ${\int^{\infty}_1\frac{1}{n}\,dn}$

To see why the integral bounds the series from below this picture is a great help: Since the area under the curve from 1 to infinity is strictly less than the sum of the areas of the rectangles then if we can show that the integral diverges then that will show that the series diverges. This is because each of the rectangles has base equal to 1 and height equal to 1/n and thus area equal to 1/n and the sum of them all is exactly the value of the infinite series.

When you actually perform the integration in  you get: ${\int^x_1\frac{1}{n}\,dn = ln(x)-ln(1)}$

To see why this integrates to ln(x) you think about the inverse function theorem and the fact that the derivative of exponential is itself and the inverse of the exponential is the lograthim. ${\frac{d}{dx}\left(e^x\right) = e^x}$

and

 if ${f(x) = e^x}$ then ${f^{-1}(x) = ln(x)}$

This also explains why $ln(x)$ is an increasing function and why it is a very, very slowly increasing function (since its inverse is a very very quickly increasing function). And all this says that: $\sum_{n=1}^{\infty}\frac{1}{n} > {\lim_{x\to\infty}\int^x_1\frac{1}{n}\,dn = \lim_{x\to\infty}ln(x) = \infty}$

So this settles it, the harmonic series is divergent and you can always exceed an arbitrary large by just picking a greater and greater partial sum. The question then comes up just how many years do you need to wait to collect 750 trillion dollars. This comes out to be: $ln(n) = \frac{(7.5)(10^{14})}{52}$ because there are 52 weeks in a year.

Now we just solve for n getting: $n = e^{\frac{(7.5)(10^{14})}{52}}$

I did visit Wolfram Alpha web site and entered the exponential and, of course, it is way beyond computation, but interestingly Wolfram Alpha displayed the following: $e^{\frac{(7.5)(10^{14})}{52}} = 10^{10^{10^{1.119224798480347}}}$

And this totally settles the matter as to whether or not it is OK award 750 trillion dollars to each ticket holder.
{"ft_lang_label":"__label__en","ft_lang_prob":0.95005316,"math_prob":0.99749887,"size":2794,"snap":"2020-10-2020-16","text_gpt3_token_len":635,"char_repetition_ratio":0.1297491,"word_repetition_ratio":0.0,"special_character_ratio":0.23407301,"punctuation_ratio":0.06428572,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99939466,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24],"im_url_duplicate_count":[null,null,null,null,null,5,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-02-20T22:44:39Z\",\"WARC-Record-ID\":\"<urn:uuid:f98c9ba4-b9d6-4043-b634-b72fe8efecaf>\",\"Content-Length\":\"31235\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:9a901c7c-a612-4a07-ae56-b2317d58f26c>\",\"WARC-Concurrent-To\":\"<urn:uuid:e0c6b785-452a-4b48-8b5b-c004daf6aa98>\",\"WARC-IP-Address\":\"192.0.78.25\",\"WARC-Target-URI\":\"https://zachdcox.blog/2012/03/\",\"WARC-Payload-Digest\":\"sha1:NGDGIFZE6UH2PUU5GH5K7YJ2HAPMZT7J\",\"WARC-Block-Digest\":\"sha1:FVDH5SARNGZJAM6C2CAEDKGC7CRYX64R\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-10/CC-MAIN-2020-10_segments_1581875145316.8_warc_CC-MAIN-20200220224059-20200221014059-00239.warc.gz\"}"}