<?xml version="1.0" encoding="UTF-8"?><rss xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0" xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd" xmlns:googleplay="http://www.google.com/schemas/play-podcasts/1.0"><channel><title><![CDATA[Greg Hopper: Tutorials]]></title><description><![CDATA[General tutorials on technical topics]]></description><link>https://www.gphopper.com/s/math-statistics-ai-and-ml-tutorials</link><image><url>https://www.gphopper.com/img/substack.png</url><title>Greg Hopper: Tutorials</title><link>https://www.gphopper.com/s/math-statistics-ai-and-ml-tutorials</link></image><generator>Substack</generator><lastBuildDate>Thu, 14 May 2026 03:46:18 GMT</lastBuildDate><atom:link href="https://www.gphopper.com/feed" rel="self" type="application/rss+xml"/><copyright><![CDATA[Gregory Hopper]]></copyright><language><![CDATA[en]]></language><webMaster><![CDATA[gregoryhopper1@substack.com]]></webMaster><itunes:owner><itunes:email><![CDATA[gregoryhopper1@substack.com]]></itunes:email><itunes:name><![CDATA[Gregory Hopper]]></itunes:name></itunes:owner><itunes:author><![CDATA[Gregory Hopper]]></itunes:author><googleplay:owner><![CDATA[gregoryhopper1@substack.com]]></googleplay:owner><googleplay:email><![CDATA[gregoryhopper1@substack.com]]></googleplay:email><googleplay:author><![CDATA[Gregory Hopper]]></googleplay:author><itunes:block><![CDATA[Yes]]></itunes:block><item><title><![CDATA[How To Ace That Technical Interview]]></title><description><![CDATA[Use King Arthur's strategy at the bridge of death to solve the prisoner problem]]></description><link>https://www.gphopper.com/p/how-to-ace-that-technical-interview</link><guid isPermaLink="false">https://www.gphopper.com/p/how-to-ace-that-technical-interview</guid><dc:creator><![CDATA[Gregory Hopper]]></dc:creator><pubDate>Sun, 29 Mar 2026 21:38:24 GMT</pubDate><enclosure url="https://substackcdn.com/image/fetch/$s_!IpbR!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg" length="0" type="image/jpeg"/><content:encoded><![CDATA[<div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!IpbR!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!IpbR!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg 424w, https://substackcdn.com/image/fetch/$s_!IpbR!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg 848w, https://substackcdn.com/image/fetch/$s_!IpbR!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg 1272w, https://substackcdn.com/image/fetch/$s_!IpbR!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!IpbR!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg" width="1024" height="559" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:559,&quot;width&quot;:1024,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:189119,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/jpeg&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:false,&quot;topImage&quot;:true,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!IpbR!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg 424w, https://substackcdn.com/image/fetch/$s_!IpbR!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg 848w, https://substackcdn.com/image/fetch/$s_!IpbR!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg 1272w, https://substackcdn.com/image/fetch/$s_!IpbR!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1fa5a7fa-ed9f-4617-9992-a52a9ff4d94d_1024x559.jpeg 1456w" sizes="100vw" fetchpriority="high"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>I spent many years applying for tech jobs and hiring for tech jobs in the financial world. I always hated the annoying interviewing technique of testing candidates with puzzles. I never used interview puzzles, ever, when I interviewed people. However, interview puzzles have been ubiquitous for decades in the financial and software industries, so much so that there are whole books for job candidates devoted to puzzles and their solutions. </p><p>Puzzles are used to screen candidates in the AI/ML/programming world and in the financial world. The widespread use of interview puzzles shows that tech managers don&#8217;t know how to hire or manage people. Extreme cleverness and mathematical acuity are not the most important traits you need in successful job candidates. Most of the math in financial quant jobs or in AI/ML is not that high level. People who are successful work hard, learn what they need to learn independently, are innovative, focus on quickly solving the problems that people need to be solved, and get along with others. The ability to get along with others may be the most important skill you want to look for. That so many tech managers ignore those skills in favor of puzzle-solving ability is one reason why there are so many &#8220;management challenges&#8221; in technical industries. </p><div class="subscription-widget-wrap-editor" data-attrs="{&quot;url&quot;:&quot;https://www.gphopper.com/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe&quot;,&quot;language&quot;:&quot;en&quot;}" data-component-name="SubscribeWidgetToDOM"><div class="subscription-widget show-subscribe"><div class="preamble"><p class="cta-caption">Thanks for reading Greg Hopper! Subscribe for free to receive new posts and support my work.</p></div><form class="subscription-widget-subscribe"><input type="email" class="email-input" name="email" placeholder="Type your email&#8230;" tabindex="-1"><input type="submit" class="button primary" value="Subscribe"><div class="fake-input-wrapper"><div class="fake-input"></div><div class="fake-button"></div></div></form></div></div><p>The problem with the puzzles is that they screen out potential employees who would be very successful. Nonetheless, as the interviewee, you have to deal with the puzzles when you interview.  Everyone is studying the puzzle books, so you need to do something to stand out. The best strategy I think is to pick some commonly asked puzzles and figure out how to extend them. Then you hope to be lucky enough to get the puzzle you&#8217;ve prepared for. </p><p>Job interviews are not unlike the bridge of death in &#8220;Monty Python: In Search of the Holy Grail.&#8221; You want to be like King Arthur. When asked &#8220;What is the air speed velocity of an unladen swallow?&#8221; Arthur replied, &#8220;What do you mean? An African or European swallow?&#8221; </p><div id="youtube2-VvSO5KEnaVE" class="youtube-wrap" data-attrs="{&quot;videoId&quot;:&quot;VvSO5KEnaVE&quot;,&quot;startTime&quot;:null,&quot;endTime&quot;:null}" data-component-name="Youtube2ToDOM"><div class="youtube-inner"><iframe src="https://www.youtube-nocookie.com/embed/VvSO5KEnaVE?rel=0&amp;autoplay=0&amp;showinfo=0&amp;enablejsapi=0" frameborder="0" loading="lazy" gesture="media" allow="autoplay; fullscreen" allowautoplay="true" allowfullscreen="true" width="728" height="409"></iframe></div></div><h1>An example</h1><p>There is an old puzzle you may have heard of. The warden of a prison calls a meeting with the prisoners and makes the following proposal: the prisoners can decide to enter a contest in which the warden will select a prisoner randomly from solitary confinement every day and put him in a room. In the room is a single light switch, which will be in the off position the day the game begins. The selected prisoner can decide to turn the light on or off, but other than that, there is nothing to do in the room. The prisoner is not allowed to touch anything in the room or attempt to leave any kind of message. The other prisoners will not know who has been selected on any day and they will not be allowed to communicate in any way after the game begins. The game ends when one of the prisoners announces when all the prisoners have been in the room at least once. If correct, the warden will free them all immediately. However, if incorrect he will double their sentence. The warden gives the prisoners one hour to confer. Should the prisoners take the deal?</p><p>The puzzle book solution is that the prisoners should appoint one prisoner, Bob, to be the official counter. Bob&#8217;s only job is to add one to his count every day he is randomly selected to enter the room, but only if he sees the light switch already turned on. He then must turn the switch off. If he is selected to enter the room when the light switch is turned off, he does nothing.</p><p>Every other prisoner&#8217;s only job is to switch the light on the first time he is randomly selected to enter the room, but only if the light switch is not already on. In all other cases, the prisoners must do nothing when they are randomly selected to enter the room.</p><p>In this way, every prisoner turns on the light exactly once and Bob counts that prisoner when he is randomly selected to enter the room. When Bob counts N-1 light switches that have been turned on, he can be sure that all N prisoners, including himself, have been in the room at least once.</p><p>You&#8217;ll likely have seen this puzzle in a puzzle book with the solution above. In this case, however, you can work out a better solution in advance that challenges the assumptions of the interviewer. Then you can channel King Arthur with something like: &#8220;What do you mean? How many prisoners are there and how long are their sentences?&#8221; Then you can explain as below. </p><h1>Advanced solution</h1><p>The puzzle book answer shows that a strategy exists to always decide when all prisoners have been in the room at least once. But that doesn&#8217;t mean the prisoners should take the deal. The answer depends on the number of prisoners and the length of their sentences. If the procedure takes longer to implement on average than the sentence the prisoners are serving, they shouldn&#8217;t take the deal, even if the standard solution works. </p><p>The key to solving this problem is to realize that each prisoner must wait some random number of days to get into the room for the first time to turn on the light. Similarly, Bob must wait some random number of days before he is selected to enter the room and count each prisoner who turned on the light. The total number of days to win the game is the sum of the days each prisoner must wait on average to turn on the light and the number of days Bob must wait to count each prisoner. The geometric distribution is ideal for this problem because it models the number of trials until the first success.</p><p>Suppose we&#8217;re in the middle of the game. Out of N prisoners, there are k prisoners remaining that have yet to turn on the light. The probability that one of the k prisoners will be selected to enter the room is</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!vB7U!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F32d821f3-6ea3-4b7b-9b6f-3176133dd1ca_791x73.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!vB7U!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F32d821f3-6ea3-4b7b-9b6f-3176133dd1ca_791x73.png 424w, https://substackcdn.com/image/fetch/$s_!vB7U!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F32d821f3-6ea3-4b7b-9b6f-3176133dd1ca_791x73.png 848w, https://substackcdn.com/image/fetch/$s_!vB7U!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F32d821f3-6ea3-4b7b-9b6f-3176133dd1ca_791x73.png 1272w, https://substackcdn.com/image/fetch/$s_!vB7U!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F32d821f3-6ea3-4b7b-9b6f-3176133dd1ca_791x73.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!vB7U!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F32d821f3-6ea3-4b7b-9b6f-3176133dd1ca_791x73.png" width="791" height="73" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/32d821f3-6ea3-4b7b-9b6f-3176133dd1ca_791x73.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:73,&quot;width&quot;:791,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:3987,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F32d821f3-6ea3-4b7b-9b6f-3176133dd1ca_791x73.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!vB7U!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F32d821f3-6ea3-4b7b-9b6f-3176133dd1ca_791x73.png 424w, https://substackcdn.com/image/fetch/$s_!vB7U!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F32d821f3-6ea3-4b7b-9b6f-3176133dd1ca_791x73.png 848w, https://substackcdn.com/image/fetch/$s_!vB7U!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F32d821f3-6ea3-4b7b-9b6f-3176133dd1ca_791x73.png 1272w, https://substackcdn.com/image/fetch/$s_!vB7U!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F32d821f3-6ea3-4b7b-9b6f-3176133dd1ca_791x73.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>since the probability that any prisoner selected is 1/N and the probability that one of the k prisoners will be selected is</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!NTdm!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F08a3e6b7-b1dc-40da-8655-798be4da4ffd_794x77.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!NTdm!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F08a3e6b7-b1dc-40da-8655-798be4da4ffd_794x77.png 424w, https://substackcdn.com/image/fetch/$s_!NTdm!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F08a3e6b7-b1dc-40da-8655-798be4da4ffd_794x77.png 848w, https://substackcdn.com/image/fetch/$s_!NTdm!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F08a3e6b7-b1dc-40da-8655-798be4da4ffd_794x77.png 1272w, https://substackcdn.com/image/fetch/$s_!NTdm!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F08a3e6b7-b1dc-40da-8655-798be4da4ffd_794x77.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!NTdm!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F08a3e6b7-b1dc-40da-8655-798be4da4ffd_794x77.png" width="794" height="77" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/08a3e6b7-b1dc-40da-8655-798be4da4ffd_794x77.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:77,&quot;width&quot;:794,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:6433,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F08a3e6b7-b1dc-40da-8655-798be4da4ffd_794x77.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!NTdm!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F08a3e6b7-b1dc-40da-8655-798be4da4ffd_794x77.png 424w, https://substackcdn.com/image/fetch/$s_!NTdm!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F08a3e6b7-b1dc-40da-8655-798be4da4ffd_794x77.png 848w, https://substackcdn.com/image/fetch/$s_!NTdm!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F08a3e6b7-b1dc-40da-8655-798be4da4ffd_794x77.png 1272w, https://substackcdn.com/image/fetch/$s_!NTdm!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F08a3e6b7-b1dc-40da-8655-798be4da4ffd_794x77.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>The probability that a prisoner will be selected who has already turned on a light is then</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!p5KW!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbdf07757-afea-4efc-9d6e-de8fb9fdd44d_791x74.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!p5KW!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbdf07757-afea-4efc-9d6e-de8fb9fdd44d_791x74.png 424w, https://substackcdn.com/image/fetch/$s_!p5KW!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbdf07757-afea-4efc-9d6e-de8fb9fdd44d_791x74.png 848w, https://substackcdn.com/image/fetch/$s_!p5KW!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbdf07757-afea-4efc-9d6e-de8fb9fdd44d_791x74.png 1272w, https://substackcdn.com/image/fetch/$s_!p5KW!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbdf07757-afea-4efc-9d6e-de8fb9fdd44d_791x74.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!p5KW!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbdf07757-afea-4efc-9d6e-de8fb9fdd44d_791x74.png" width="791" height="74" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/bdf07757-afea-4efc-9d6e-de8fb9fdd44d_791x74.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:74,&quot;width&quot;:791,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:4745,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbdf07757-afea-4efc-9d6e-de8fb9fdd44d_791x74.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!p5KW!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbdf07757-afea-4efc-9d6e-de8fb9fdd44d_791x74.png 424w, https://substackcdn.com/image/fetch/$s_!p5KW!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbdf07757-afea-4efc-9d6e-de8fb9fdd44d_791x74.png 848w, https://substackcdn.com/image/fetch/$s_!p5KW!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbdf07757-afea-4efc-9d6e-de8fb9fdd44d_791x74.png 1272w, https://substackcdn.com/image/fetch/$s_!p5KW!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbdf07757-afea-4efc-9d6e-de8fb9fdd44d_791x74.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>We can model the selection process of one of the k prisoners who has not yet turned on the light as a geometric distribution, which gives us the probability that one of the k prisoners will be selected in i days as</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!l_Q4!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4e61619d-a025-4881-b588-bab5eb0197f1_793x74.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!l_Q4!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4e61619d-a025-4881-b588-bab5eb0197f1_793x74.png 424w, https://substackcdn.com/image/fetch/$s_!l_Q4!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4e61619d-a025-4881-b588-bab5eb0197f1_793x74.png 848w, https://substackcdn.com/image/fetch/$s_!l_Q4!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4e61619d-a025-4881-b588-bab5eb0197f1_793x74.png 1272w, https://substackcdn.com/image/fetch/$s_!l_Q4!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4e61619d-a025-4881-b588-bab5eb0197f1_793x74.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!l_Q4!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4e61619d-a025-4881-b588-bab5eb0197f1_793x74.png" width="793" height="74" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/4e61619d-a025-4881-b588-bab5eb0197f1_793x74.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:74,&quot;width&quot;:793,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:7183,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4e61619d-a025-4881-b588-bab5eb0197f1_793x74.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!l_Q4!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4e61619d-a025-4881-b588-bab5eb0197f1_793x74.png 424w, https://substackcdn.com/image/fetch/$s_!l_Q4!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4e61619d-a025-4881-b588-bab5eb0197f1_793x74.png 848w, https://substackcdn.com/image/fetch/$s_!l_Q4!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4e61619d-a025-4881-b588-bab5eb0197f1_793x74.png 1272w, https://substackcdn.com/image/fetch/$s_!l_Q4!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4e61619d-a025-4881-b588-bab5eb0197f1_793x74.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>The formula says that prisoners who have already turned on the light switch are randomly selected for i-1 days, followed by the selection of one of the prisoners who has yet to turn on the light switch.</p><p>Similarly, Bob&#8217;s selection can also be modeled by a geometric distribution.</p><p>The probability that Bob is selected to enter the room after i days is</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!vhcT!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff22550c2-8031-4c30-9ffa-fd90dad6901b_791x72.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!vhcT!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff22550c2-8031-4c30-9ffa-fd90dad6901b_791x72.png 424w, https://substackcdn.com/image/fetch/$s_!vhcT!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff22550c2-8031-4c30-9ffa-fd90dad6901b_791x72.png 848w, https://substackcdn.com/image/fetch/$s_!vhcT!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff22550c2-8031-4c30-9ffa-fd90dad6901b_791x72.png 1272w, https://substackcdn.com/image/fetch/$s_!vhcT!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff22550c2-8031-4c30-9ffa-fd90dad6901b_791x72.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!vhcT!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff22550c2-8031-4c30-9ffa-fd90dad6901b_791x72.png" width="791" height="72" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/f22550c2-8031-4c30-9ffa-fd90dad6901b_791x72.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:72,&quot;width&quot;:791,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:7373,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff22550c2-8031-4c30-9ffa-fd90dad6901b_791x72.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!vhcT!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff22550c2-8031-4c30-9ffa-fd90dad6901b_791x72.png 424w, https://substackcdn.com/image/fetch/$s_!vhcT!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff22550c2-8031-4c30-9ffa-fd90dad6901b_791x72.png 848w, https://substackcdn.com/image/fetch/$s_!vhcT!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff22550c2-8031-4c30-9ffa-fd90dad6901b_791x72.png 1272w, https://substackcdn.com/image/fetch/$s_!vhcT!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ff22550c2-8031-4c30-9ffa-fd90dad6901b_791x72.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>The average number of days that the kth prisoner will wait to turn on the light is the mean of the geometric distribution, which is the reciprocal of the probability he will be selected. The average wait time for the kth prisoner to be selected to turn on the light is</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!mj0J!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98381678-ec0c-408d-84e5-2bb611dfdb64_793x35.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!mj0J!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98381678-ec0c-408d-84e5-2bb611dfdb64_793x35.png 424w, https://substackcdn.com/image/fetch/$s_!mj0J!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98381678-ec0c-408d-84e5-2bb611dfdb64_793x35.png 848w, https://substackcdn.com/image/fetch/$s_!mj0J!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98381678-ec0c-408d-84e5-2bb611dfdb64_793x35.png 1272w, https://substackcdn.com/image/fetch/$s_!mj0J!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98381678-ec0c-408d-84e5-2bb611dfdb64_793x35.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!mj0J!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98381678-ec0c-408d-84e5-2bb611dfdb64_793x35.png" width="793" height="35" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/98381678-ec0c-408d-84e5-2bb611dfdb64_793x35.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:35,&quot;width&quot;:793,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:3452,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98381678-ec0c-408d-84e5-2bb611dfdb64_793x35.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!mj0J!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98381678-ec0c-408d-84e5-2bb611dfdb64_793x35.png 424w, https://substackcdn.com/image/fetch/$s_!mj0J!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98381678-ec0c-408d-84e5-2bb611dfdb64_793x35.png 848w, https://substackcdn.com/image/fetch/$s_!mj0J!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98381678-ec0c-408d-84e5-2bb611dfdb64_793x35.png 1272w, https://substackcdn.com/image/fetch/$s_!mj0J!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98381678-ec0c-408d-84e5-2bb611dfdb64_793x35.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>days.</p><p>The average time that Bob will wait to count each prisoner who has turned on the light is the reciprocal of his probability of being selected. Hence the average number of days for the kth prisoner to get into the room followed by Bob is</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!rMaZ!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe96d5d2a-bbb3-416a-93c5-2f06d387276f_792x65.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!rMaZ!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe96d5d2a-bbb3-416a-93c5-2f06d387276f_792x65.png 424w, https://substackcdn.com/image/fetch/$s_!rMaZ!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe96d5d2a-bbb3-416a-93c5-2f06d387276f_792x65.png 848w, https://substackcdn.com/image/fetch/$s_!rMaZ!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe96d5d2a-bbb3-416a-93c5-2f06d387276f_792x65.png 1272w, https://substackcdn.com/image/fetch/$s_!rMaZ!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe96d5d2a-bbb3-416a-93c5-2f06d387276f_792x65.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!rMaZ!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe96d5d2a-bbb3-416a-93c5-2f06d387276f_792x65.png" width="792" height="65" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/e96d5d2a-bbb3-416a-93c5-2f06d387276f_792x65.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:65,&quot;width&quot;:792,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:6234,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe96d5d2a-bbb3-416a-93c5-2f06d387276f_792x65.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!rMaZ!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe96d5d2a-bbb3-416a-93c5-2f06d387276f_792x65.png 424w, https://substackcdn.com/image/fetch/$s_!rMaZ!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe96d5d2a-bbb3-416a-93c5-2f06d387276f_792x65.png 848w, https://substackcdn.com/image/fetch/$s_!rMaZ!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe96d5d2a-bbb3-416a-93c5-2f06d387276f_792x65.png 1272w, https://substackcdn.com/image/fetch/$s_!rMaZ!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe96d5d2a-bbb3-416a-93c5-2f06d387276f_792x65.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>This is the average number of days to count the kth prisoner,. The total number of days is the sum of this quantity for k from 1 to N-1. Hence,</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!0UtO!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F5a870c0a-6fb8-4527-bf9e-b29656605783_791x53.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!0UtO!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F5a870c0a-6fb8-4527-bf9e-b29656605783_791x53.png 424w, https://substackcdn.com/image/fetch/$s_!0UtO!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F5a870c0a-6fb8-4527-bf9e-b29656605783_791x53.png 848w, https://substackcdn.com/image/fetch/$s_!0UtO!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F5a870c0a-6fb8-4527-bf9e-b29656605783_791x53.png 1272w, https://substackcdn.com/image/fetch/$s_!0UtO!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F5a870c0a-6fb8-4527-bf9e-b29656605783_791x53.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!0UtO!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F5a870c0a-6fb8-4527-bf9e-b29656605783_791x53.png" width="791" height="53" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/5a870c0a-6fb8-4527-bf9e-b29656605783_791x53.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:53,&quot;width&quot;:791,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:7686,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F5a870c0a-6fb8-4527-bf9e-b29656605783_791x53.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!0UtO!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F5a870c0a-6fb8-4527-bf9e-b29656605783_791x53.png 424w, https://substackcdn.com/image/fetch/$s_!0UtO!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F5a870c0a-6fb8-4527-bf9e-b29656605783_791x53.png 848w, https://substackcdn.com/image/fetch/$s_!0UtO!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F5a870c0a-6fb8-4527-bf9e-b29656605783_791x53.png 1272w, https://substackcdn.com/image/fetch/$s_!0UtO!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F5a870c0a-6fb8-4527-bf9e-b29656605783_791x53.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>We can write this series as</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!GNS0!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F359b09ad-1c26-4e23-97cf-92ca2ee7b1f6_783x94.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!GNS0!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F359b09ad-1c26-4e23-97cf-92ca2ee7b1f6_783x94.png 424w, https://substackcdn.com/image/fetch/$s_!GNS0!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F359b09ad-1c26-4e23-97cf-92ca2ee7b1f6_783x94.png 848w, https://substackcdn.com/image/fetch/$s_!GNS0!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F359b09ad-1c26-4e23-97cf-92ca2ee7b1f6_783x94.png 1272w, https://substackcdn.com/image/fetch/$s_!GNS0!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F359b09ad-1c26-4e23-97cf-92ca2ee7b1f6_783x94.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!GNS0!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F359b09ad-1c26-4e23-97cf-92ca2ee7b1f6_783x94.png" width="783" height="94" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/359b09ad-1c26-4e23-97cf-92ca2ee7b1f6_783x94.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:94,&quot;width&quot;:783,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:7517,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F359b09ad-1c26-4e23-97cf-92ca2ee7b1f6_783x94.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!GNS0!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F359b09ad-1c26-4e23-97cf-92ca2ee7b1f6_783x94.png 424w, https://substackcdn.com/image/fetch/$s_!GNS0!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F359b09ad-1c26-4e23-97cf-92ca2ee7b1f6_783x94.png 848w, https://substackcdn.com/image/fetch/$s_!GNS0!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F359b09ad-1c26-4e23-97cf-92ca2ee7b1f6_783x94.png 1272w, https://substackcdn.com/image/fetch/$s_!GNS0!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F359b09ad-1c26-4e23-97cf-92ca2ee7b1f6_783x94.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>Note that</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!VM_q!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0fa862ca-b2ad-477d-9ce7-fc30eb0a2506_791x60.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!VM_q!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0fa862ca-b2ad-477d-9ce7-fc30eb0a2506_791x60.png 424w, https://substackcdn.com/image/fetch/$s_!VM_q!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0fa862ca-b2ad-477d-9ce7-fc30eb0a2506_791x60.png 848w, https://substackcdn.com/image/fetch/$s_!VM_q!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0fa862ca-b2ad-477d-9ce7-fc30eb0a2506_791x60.png 1272w, https://substackcdn.com/image/fetch/$s_!VM_q!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0fa862ca-b2ad-477d-9ce7-fc30eb0a2506_791x60.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!VM_q!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0fa862ca-b2ad-477d-9ce7-fc30eb0a2506_791x60.png" width="791" height="60" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/0fa862ca-b2ad-477d-9ce7-fc30eb0a2506_791x60.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:60,&quot;width&quot;:791,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:4935,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0fa862ca-b2ad-477d-9ce7-fc30eb0a2506_791x60.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!VM_q!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0fa862ca-b2ad-477d-9ce7-fc30eb0a2506_791x60.png 424w, https://substackcdn.com/image/fetch/$s_!VM_q!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0fa862ca-b2ad-477d-9ce7-fc30eb0a2506_791x60.png 848w, https://substackcdn.com/image/fetch/$s_!VM_q!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0fa862ca-b2ad-477d-9ce7-fc30eb0a2506_791x60.png 1272w, https://substackcdn.com/image/fetch/$s_!VM_q!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0fa862ca-b2ad-477d-9ce7-fc30eb0a2506_791x60.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>so</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!D8hI!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0a3b8572-e538-444a-b632-0bb098c7a537_789x90.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!D8hI!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0a3b8572-e538-444a-b632-0bb098c7a537_789x90.png 424w, https://substackcdn.com/image/fetch/$s_!D8hI!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0a3b8572-e538-444a-b632-0bb098c7a537_789x90.png 848w, https://substackcdn.com/image/fetch/$s_!D8hI!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0a3b8572-e538-444a-b632-0bb098c7a537_789x90.png 1272w, https://substackcdn.com/image/fetch/$s_!D8hI!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0a3b8572-e538-444a-b632-0bb098c7a537_789x90.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!D8hI!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0a3b8572-e538-444a-b632-0bb098c7a537_789x90.png" width="789" height="90" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/0a3b8572-e538-444a-b632-0bb098c7a537_789x90.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:90,&quot;width&quot;:789,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:10394,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0a3b8572-e538-444a-b632-0bb098c7a537_789x90.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!D8hI!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0a3b8572-e538-444a-b632-0bb098c7a537_789x90.png 424w, https://substackcdn.com/image/fetch/$s_!D8hI!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0a3b8572-e538-444a-b632-0bb098c7a537_789x90.png 848w, https://substackcdn.com/image/fetch/$s_!D8hI!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0a3b8572-e538-444a-b632-0bb098c7a537_789x90.png 1272w, https://substackcdn.com/image/fetch/$s_!D8hI!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0a3b8572-e538-444a-b632-0bb098c7a537_789x90.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>Set j = N - i - 1 and thus</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!jary!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fd5afe095-6575-4706-b13e-b304a7dcb30c_791x87.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!jary!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fd5afe095-6575-4706-b13e-b304a7dcb30c_791x87.png 424w, https://substackcdn.com/image/fetch/$s_!jary!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fd5afe095-6575-4706-b13e-b304a7dcb30c_791x87.png 848w, https://substackcdn.com/image/fetch/$s_!jary!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fd5afe095-6575-4706-b13e-b304a7dcb30c_791x87.png 1272w, https://substackcdn.com/image/fetch/$s_!jary!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fd5afe095-6575-4706-b13e-b304a7dcb30c_791x87.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!jary!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fd5afe095-6575-4706-b13e-b304a7dcb30c_791x87.png" width="791" height="87" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/d5afe095-6575-4706-b13e-b304a7dcb30c_791x87.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:87,&quot;width&quot;:791,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:7764,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fd5afe095-6575-4706-b13e-b304a7dcb30c_791x87.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!jary!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fd5afe095-6575-4706-b13e-b304a7dcb30c_791x87.png 424w, https://substackcdn.com/image/fetch/$s_!jary!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fd5afe095-6575-4706-b13e-b304a7dcb30c_791x87.png 848w, https://substackcdn.com/image/fetch/$s_!jary!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fd5afe095-6575-4706-b13e-b304a7dcb30c_791x87.png 1272w, https://substackcdn.com/image/fetch/$s_!jary!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fd5afe095-6575-4706-b13e-b304a7dcb30c_791x87.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>Finally,</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!f_Ow!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2a2ff6f0-9904-4ac4-88d4-8b596ba2e1e1_794x35.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!f_Ow!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2a2ff6f0-9904-4ac4-88d4-8b596ba2e1e1_794x35.png 424w, https://substackcdn.com/image/fetch/$s_!f_Ow!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2a2ff6f0-9904-4ac4-88d4-8b596ba2e1e1_794x35.png 848w, https://substackcdn.com/image/fetch/$s_!f_Ow!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2a2ff6f0-9904-4ac4-88d4-8b596ba2e1e1_794x35.png 1272w, https://substackcdn.com/image/fetch/$s_!f_Ow!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2a2ff6f0-9904-4ac4-88d4-8b596ba2e1e1_794x35.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!f_Ow!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2a2ff6f0-9904-4ac4-88d4-8b596ba2e1e1_794x35.png" width="794" height="35" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/2a2ff6f0-9904-4ac4-88d4-8b596ba2e1e1_794x35.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:35,&quot;width&quot;:794,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:4285,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2a2ff6f0-9904-4ac4-88d4-8b596ba2e1e1_794x35.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!f_Ow!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2a2ff6f0-9904-4ac4-88d4-8b596ba2e1e1_794x35.png 424w, https://substackcdn.com/image/fetch/$s_!f_Ow!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2a2ff6f0-9904-4ac4-88d4-8b596ba2e1e1_794x35.png 848w, https://substackcdn.com/image/fetch/$s_!f_Ow!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2a2ff6f0-9904-4ac4-88d4-8b596ba2e1e1_794x35.png 1272w, https://substackcdn.com/image/fetch/$s_!f_Ow!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2a2ff6f0-9904-4ac4-88d4-8b596ba2e1e1_794x35.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>where</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!vAgP!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3e67ec5a-8114-449d-a98b-bf23267ecb37_792x86.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!vAgP!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3e67ec5a-8114-449d-a98b-bf23267ecb37_792x86.png 424w, https://substackcdn.com/image/fetch/$s_!vAgP!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3e67ec5a-8114-449d-a98b-bf23267ecb37_792x86.png 848w, https://substackcdn.com/image/fetch/$s_!vAgP!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3e67ec5a-8114-449d-a98b-bf23267ecb37_792x86.png 1272w, https://substackcdn.com/image/fetch/$s_!vAgP!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3e67ec5a-8114-449d-a98b-bf23267ecb37_792x86.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!vAgP!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3e67ec5a-8114-449d-a98b-bf23267ecb37_792x86.png" width="792" height="86" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/3e67ec5a-8114-449d-a98b-bf23267ecb37_792x86.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:86,&quot;width&quot;:792,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:5863,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3e67ec5a-8114-449d-a98b-bf23267ecb37_792x86.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!vAgP!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3e67ec5a-8114-449d-a98b-bf23267ecb37_792x86.png 424w, https://substackcdn.com/image/fetch/$s_!vAgP!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3e67ec5a-8114-449d-a98b-bf23267ecb37_792x86.png 848w, https://substackcdn.com/image/fetch/$s_!vAgP!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3e67ec5a-8114-449d-a98b-bf23267ecb37_792x86.png 1272w, https://substackcdn.com/image/fetch/$s_!vAgP!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3e67ec5a-8114-449d-a98b-bf23267ecb37_792x86.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>the N-1 th harmonic number.</p><p>The harmonic numbers are the finite sums of the reciprocals of the integers. The first few harmonic numbers are H<sub>1</sub> = 1, H<sub>2</sub> = 3/2, H<sub>3</sub>=11/6, and H<sub>4</sub> = 25/12.</p><p>The expected time to win the game is not all the prisoners need to make a decision. The wait time is random, so they will also need an estimate of the standard deviation of the wait time to account for uncertainty. Using the geometric distributions, and the fact that Bob&#8217;s selection is independent of every other prisoner&#8217;s selection, we can add the variance of Bob&#8217;s wait time to the other prisoner&#8217;s wait time. The total variance of the wait time is:</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!3iVz!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fce641afa-5d06-496a-9ed9-ebda665c42d2_791x84.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!3iVz!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fce641afa-5d06-496a-9ed9-ebda665c42d2_791x84.png 424w, https://substackcdn.com/image/fetch/$s_!3iVz!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fce641afa-5d06-496a-9ed9-ebda665c42d2_791x84.png 848w, https://substackcdn.com/image/fetch/$s_!3iVz!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fce641afa-5d06-496a-9ed9-ebda665c42d2_791x84.png 1272w, https://substackcdn.com/image/fetch/$s_!3iVz!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fce641afa-5d06-496a-9ed9-ebda665c42d2_791x84.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!3iVz!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fce641afa-5d06-496a-9ed9-ebda665c42d2_791x84.png" width="791" height="84" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/ce641afa-5d06-496a-9ed9-ebda665c42d2_791x84.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:84,&quot;width&quot;:791,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:9211,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fce641afa-5d06-496a-9ed9-ebda665c42d2_791x84.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!3iVz!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fce641afa-5d06-496a-9ed9-ebda665c42d2_791x84.png 424w, https://substackcdn.com/image/fetch/$s_!3iVz!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fce641afa-5d06-496a-9ed9-ebda665c42d2_791x84.png 848w, https://substackcdn.com/image/fetch/$s_!3iVz!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fce641afa-5d06-496a-9ed9-ebda665c42d2_791x84.png 1272w, https://substackcdn.com/image/fetch/$s_!3iVz!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fce641afa-5d06-496a-9ed9-ebda665c42d2_791x84.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>We can also derive an extremely accurate approximation for relatively small N. For N sufficiently large, the harmonic numbers can be approximated as</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!hN27!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1edcf6a6-673f-49f2-8e62-3b02e8f021e1_791x38.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!hN27!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1edcf6a6-673f-49f2-8e62-3b02e8f021e1_791x38.png 424w, https://substackcdn.com/image/fetch/$s_!hN27!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1edcf6a6-673f-49f2-8e62-3b02e8f021e1_791x38.png 848w, https://substackcdn.com/image/fetch/$s_!hN27!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1edcf6a6-673f-49f2-8e62-3b02e8f021e1_791x38.png 1272w, https://substackcdn.com/image/fetch/$s_!hN27!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1edcf6a6-673f-49f2-8e62-3b02e8f021e1_791x38.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!hN27!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1edcf6a6-673f-49f2-8e62-3b02e8f021e1_791x38.png" width="791" height="38" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/1edcf6a6-673f-49f2-8e62-3b02e8f021e1_791x38.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:38,&quot;width&quot;:791,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:4448,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1edcf6a6-673f-49f2-8e62-3b02e8f021e1_791x38.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!hN27!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1edcf6a6-673f-49f2-8e62-3b02e8f021e1_791x38.png 424w, https://substackcdn.com/image/fetch/$s_!hN27!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1edcf6a6-673f-49f2-8e62-3b02e8f021e1_791x38.png 848w, https://substackcdn.com/image/fetch/$s_!hN27!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1edcf6a6-673f-49f2-8e62-3b02e8f021e1_791x38.png 1272w, https://substackcdn.com/image/fetch/$s_!hN27!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1edcf6a6-673f-49f2-8e62-3b02e8f021e1_791x38.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>where &#947; &#8776; 0.5772, the Euler-Mascheroni constant. Thus, for sufficiently large N, the expected waiting time in days to win the game is</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!34j-!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F55c155ce-04eb-4a3c-b601-de7d2feff0dc_788x37.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!34j-!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F55c155ce-04eb-4a3c-b601-de7d2feff0dc_788x37.png 424w, https://substackcdn.com/image/fetch/$s_!34j-!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F55c155ce-04eb-4a3c-b601-de7d2feff0dc_788x37.png 848w, https://substackcdn.com/image/fetch/$s_!34j-!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F55c155ce-04eb-4a3c-b601-de7d2feff0dc_788x37.png 1272w, https://substackcdn.com/image/fetch/$s_!34j-!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F55c155ce-04eb-4a3c-b601-de7d2feff0dc_788x37.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!34j-!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F55c155ce-04eb-4a3c-b601-de7d2feff0dc_788x37.png" width="788" height="37" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/55c155ce-04eb-4a3c-b601-de7d2feff0dc_788x37.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:37,&quot;width&quot;:788,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:5591,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F55c155ce-04eb-4a3c-b601-de7d2feff0dc_788x37.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!34j-!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F55c155ce-04eb-4a3c-b601-de7d2feff0dc_788x37.png 424w, https://substackcdn.com/image/fetch/$s_!34j-!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F55c155ce-04eb-4a3c-b601-de7d2feff0dc_788x37.png 848w, https://substackcdn.com/image/fetch/$s_!34j-!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F55c155ce-04eb-4a3c-b601-de7d2feff0dc_788x37.png 1272w, https://substackcdn.com/image/fetch/$s_!34j-!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F55c155ce-04eb-4a3c-b601-de7d2feff0dc_788x37.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>Similarly, we can write the variance as</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!L7Pq!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbfa9eb76-ca64-4278-bc67-fb31666d8e89_794x60.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!L7Pq!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbfa9eb76-ca64-4278-bc67-fb31666d8e89_794x60.png 424w, https://substackcdn.com/image/fetch/$s_!L7Pq!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbfa9eb76-ca64-4278-bc67-fb31666d8e89_794x60.png 848w, https://substackcdn.com/image/fetch/$s_!L7Pq!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbfa9eb76-ca64-4278-bc67-fb31666d8e89_794x60.png 1272w, https://substackcdn.com/image/fetch/$s_!L7Pq!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbfa9eb76-ca64-4278-bc67-fb31666d8e89_794x60.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!L7Pq!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbfa9eb76-ca64-4278-bc67-fb31666d8e89_794x60.png" width="794" height="60" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/bfa9eb76-ca64-4278-bc67-fb31666d8e89_794x60.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:60,&quot;width&quot;:794,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:8513,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbfa9eb76-ca64-4278-bc67-fb31666d8e89_794x60.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!L7Pq!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbfa9eb76-ca64-4278-bc67-fb31666d8e89_794x60.png 424w, https://substackcdn.com/image/fetch/$s_!L7Pq!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbfa9eb76-ca64-4278-bc67-fb31666d8e89_794x60.png 848w, https://substackcdn.com/image/fetch/$s_!L7Pq!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbfa9eb76-ca64-4278-bc67-fb31666d8e89_794x60.png 1272w, https://substackcdn.com/image/fetch/$s_!L7Pq!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbfa9eb76-ca64-4278-bc67-fb31666d8e89_794x60.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>where we have made use of Euler&#8217;s famous Basel problem relation:</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!m3Jl!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F45e7b4c1-7e4d-4474-933e-8df960fc5df1_787x90.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!m3Jl!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F45e7b4c1-7e4d-4474-933e-8df960fc5df1_787x90.png 424w, https://substackcdn.com/image/fetch/$s_!m3Jl!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F45e7b4c1-7e4d-4474-933e-8df960fc5df1_787x90.png 848w, https://substackcdn.com/image/fetch/$s_!m3Jl!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F45e7b4c1-7e4d-4474-933e-8df960fc5df1_787x90.png 1272w, https://substackcdn.com/image/fetch/$s_!m3Jl!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F45e7b4c1-7e4d-4474-933e-8df960fc5df1_787x90.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!m3Jl!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F45e7b4c1-7e4d-4474-933e-8df960fc5df1_787x90.png" width="787" height="90" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/45e7b4c1-7e4d-4474-933e-8df960fc5df1_787x90.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:90,&quot;width&quot;:787,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:6210,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/192521222?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F45e7b4c1-7e4d-4474-933e-8df960fc5df1_787x90.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!m3Jl!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F45e7b4c1-7e4d-4474-933e-8df960fc5df1_787x90.png 424w, https://substackcdn.com/image/fetch/$s_!m3Jl!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F45e7b4c1-7e4d-4474-933e-8df960fc5df1_787x90.png 848w, https://substackcdn.com/image/fetch/$s_!m3Jl!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F45e7b4c1-7e4d-4474-933e-8df960fc5df1_787x90.png 1272w, https://substackcdn.com/image/fetch/$s_!m3Jl!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F45e7b4c1-7e4d-4474-933e-8df960fc5df1_787x90.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><h1>Should the prisoners take the deal? </h1><p>Whether the prisoners should take the deal depends on how many of them there are and how long their sentences are.  Suppose the prisoners all got three years. Using the formulas we developed, if there are 50 prisoners, the average time to decide how many prisoners have been in the room is 7.33 years with a standard deviation of about 1 year. They shouldn&#8217;t take the deal because they would more than double the length of their sentences. On the other hand, if there are only ten prisoners, it will take about a third of a year on average to determine when all prisoners have been in the room. That&#8217;s a good deal. </p><p></p><p></p><p></p><div class="subscription-widget-wrap-editor" data-attrs="{&quot;url&quot;:&quot;https://www.gphopper.com/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe&quot;,&quot;language&quot;:&quot;en&quot;}" data-component-name="SubscribeWidgetToDOM"><div class="subscription-widget show-subscribe"><div class="preamble"><p class="cta-caption">Thanks for reading Greg Hopper! Subscribe for free to receive new posts and support my work.</p></div><form class="subscription-widget-subscribe"><input type="email" class="email-input" name="email" placeholder="Type your email&#8230;" tabindex="-1"><input type="submit" class="button primary" value="Subscribe"><div class="fake-input-wrapper"><div class="fake-input"></div><div class="fake-button"></div></div></form></div></div>]]></content:encoded></item><item><title><![CDATA[An Introduction to the Riemann Hypothesis]]></title><description><![CDATA[The Most Important Unsolved Problem in Pure Mathematics]]></description><link>https://www.gphopper.com/p/an-introduction-to-the-riemann-hypothesis</link><guid isPermaLink="false">https://www.gphopper.com/p/an-introduction-to-the-riemann-hypothesis</guid><dc:creator><![CDATA[Gregory Hopper]]></dc:creator><pubDate>Wed, 06 Aug 2025 17:39:00 GMT</pubDate><enclosure url="https://substackcdn.com/image/fetch/$s_!pHhX!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png" length="0" type="image/jpeg"/><content:encoded><![CDATA[<div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!pHhX!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!pHhX!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 424w, https://substackcdn.com/image/fetch/$s_!pHhX!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 848w, https://substackcdn.com/image/fetch/$s_!pHhX!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 1272w, https://substackcdn.com/image/fetch/$s_!pHhX!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!pHhX!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png" width="1114" height="472" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/c5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:472,&quot;width&quot;:1114,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:false,&quot;topImage&quot;:true,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!pHhX!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 424w, https://substackcdn.com/image/fetch/$s_!pHhX!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 848w, https://substackcdn.com/image/fetch/$s_!pHhX!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 1272w, https://substackcdn.com/image/fetch/$s_!pHhX!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 1456w" sizes="100vw" fetchpriority="high"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p><em>Accounts of the Riemann Hypothesis, the most important unsolved problem in pure mathematics, are either non-mathematical popularizations that don&#8217;t really explain what&#8217;s going on or they are monographs intended for professional mathematicians. There&#8217;s very little in between. I&#8217;ve tried to write a semi-popularization that uses only as much mathematics as necessary to explain all the key ideas, but no more: algebra, some basic facts about complex numbers, and a rudimentary understanding of what the derivative and integral are.  Note: the substack app doesn&#8217;t render equations properly, so read on the web or in email if you want to see the equations. </em></p><p></p><div class="subscription-widget-wrap-editor" data-attrs="{&quot;url&quot;:&quot;https://www.gphopper.com/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe&quot;,&quot;language&quot;:&quot;en&quot;}" data-component-name="SubscribeWidgetToDOM"><div class="subscription-widget show-subscribe"><div class="preamble"><p class="cta-caption">Thanks for reading Greg Hopper! Subscribe for free to receive new posts and support my work.</p></div><form class="subscription-widget-subscribe"><input type="email" class="email-input" name="email" placeholder="Type your email&#8230;" tabindex="-1"><input type="submit" class="button primary" value="Subscribe"><div class="fake-input-wrapper"><div class="fake-input"></div><div class="fake-button"></div></div></form></div></div><p>All numbers are made up of prime numbers. Prime numbers are the atoms of arithmetic, since every number can be written uniquely as a product of primes.  We know that there are an infinite number of primes, but where are they? Are there huge regions of numerical space in which no primes are present at all? And are there other regions where large numbers of primes are concentrated? The Riemann Hypothesis is a conjecture about how the prime numbers are distributed throughout the infinite space of numbers. It answers the question, &#8220;How many primes are there less than or equal to some given number?&#8221; If we could answer that question as precisely as possible, the result would obviously have very important implications for our understanding of the numbers. Because the answer would tell us so much about the numbers, the Riemann Hypothesis is considered to be the most important unsolved problem in pure mathematics. Thousands of mathematical results have been proved to be true if the Riemann Hypothesis is true. Fame and fortune awaits anyone who can resolve the Riemann Hypothesis. The Riemann Hypothesis was the 8th of Hilbert&#8217;s 23 challenge problems and is also one of the Clay Mathematics Institute&#8217;s 7 millennium prize problems, with a $1 million prize for its proof.</p><h1>Early Attempts To Understand the Distribution of Prime Numbers</h1><p>Can we find  a formula to predict the distribution of prime numbers? This is the question that the mathematician Karl Frederick Gauss turned to in his youth.</p><h2>Karl Frederick Gauss</h2><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!957x!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7caa1b77-d9d0-4703-af34-3a4f2396529e_402x514.webp" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!957x!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7caa1b77-d9d0-4703-af34-3a4f2396529e_402x514.webp 424w, https://substackcdn.com/image/fetch/$s_!957x!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7caa1b77-d9d0-4703-af34-3a4f2396529e_402x514.webp 848w, https://substackcdn.com/image/fetch/$s_!957x!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7caa1b77-d9d0-4703-af34-3a4f2396529e_402x514.webp 1272w, https://substackcdn.com/image/fetch/$s_!957x!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7caa1b77-d9d0-4703-af34-3a4f2396529e_402x514.webp 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!957x!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7caa1b77-d9d0-4703-af34-3a4f2396529e_402x514.webp" width="402" height="514" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/7caa1b77-d9d0-4703-af34-3a4f2396529e_402x514.webp&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:514,&quot;width&quot;:402,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:21532,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:&quot;image/webp&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:false,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.scienceonsaturdays.org/i/161211299?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7caa1b77-d9d0-4703-af34-3a4f2396529e_402x514.webp&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!957x!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7caa1b77-d9d0-4703-af34-3a4f2396529e_402x514.webp 424w, https://substackcdn.com/image/fetch/$s_!957x!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7caa1b77-d9d0-4703-af34-3a4f2396529e_402x514.webp 848w, https://substackcdn.com/image/fetch/$s_!957x!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7caa1b77-d9d0-4703-af34-3a4f2396529e_402x514.webp 1272w, https://substackcdn.com/image/fetch/$s_!957x!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F7caa1b77-d9d0-4703-af34-3a4f2396529e_402x514.webp 1456w" sizes="100vw"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>Called the &#8220;Prince of Mathematics,&#8221; Gauss made profound discoveries in many areas of mathematics, many of which he never published. For example, he discovered non-Euclidean geometry that would later be used in General Relativity. His motto regarding his mathematical research was: &#8220;Pauca, sed matura&#8212;Few, but ripe.&#8221; Besides mathematics, he was very good at languages and by 19 had already mastered German, English, Greek, Latin, Danish, and French. Later in life he also mastered Russian and Swedish. He called mathematics the &#8220;Queen of the Sciences&#8221; and number theory the &#8220;Queen of Mathematics.&#8221; As a boy, Gauss was obsessed with prime numbers and spent his free time calculating them.</p><p>From calculating prime numbers, Gauss observed that they thinned out according to a pattern. We can see how prime numbers thin out by graphing the Prime Counting Function.</p><h2>The Prime Counting Function</h2><p>For any number N, the prime counting function counts the exact number of primes less than or equal to N. For example, if we wanted to know the number of primes less than or equal to 100, we&#8217;d feed 100 to the prime counting function and get 25. The Prime Counting function looks like a staircase since for some numbers we don&#8217;t have any more primes than we did for previous numbers. For example, there are 6 primes up to and including the number 13: 2,3,5,7,11,and 13. So, if we feed 13 to the prime counting function, we get 6. But since 14,15, and 16 are not prime, we also get 6 if we feed 14, 15, or 16 to the function.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!96vz!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbff43bfa-8999-41c6-b4f1-8db7af927587_908x547.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!96vz!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbff43bfa-8999-41c6-b4f1-8db7af927587_908x547.png 424w, https://substackcdn.com/image/fetch/$s_!96vz!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbff43bfa-8999-41c6-b4f1-8db7af927587_908x547.png 848w, https://substackcdn.com/image/fetch/$s_!96vz!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbff43bfa-8999-41c6-b4f1-8db7af927587_908x547.png 1272w, https://substackcdn.com/image/fetch/$s_!96vz!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbff43bfa-8999-41c6-b4f1-8db7af927587_908x547.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!96vz!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbff43bfa-8999-41c6-b4f1-8db7af927587_908x547.png" width="908" height="547" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/bff43bfa-8999-41c6-b4f1-8db7af927587_908x547.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:547,&quot;width&quot;:908,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:&quot;center&quot;,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!96vz!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbff43bfa-8999-41c6-b4f1-8db7af927587_908x547.png 424w, https://substackcdn.com/image/fetch/$s_!96vz!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbff43bfa-8999-41c6-b4f1-8db7af927587_908x547.png 848w, https://substackcdn.com/image/fetch/$s_!96vz!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbff43bfa-8999-41c6-b4f1-8db7af927587_908x547.png 1272w, https://substackcdn.com/image/fetch/$s_!96vz!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbff43bfa-8999-41c6-b4f1-8db7af927587_908x547.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>Gauss observed that the probability of selecting a prime at random from numbers 2 to N is approximately 1/ln(N). It&#8217;s as if Nature is throwing a Log-weighted coin. The expected number of primes between 2 and N would then be N/ln(N) As seen in the chart below, Gauss&#8217;s approximation seems to underestimate the true number of primes.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!5bKg!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F77db4b60-f5e3-497f-af4a-9fa52cf2bff1_947x570.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!5bKg!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F77db4b60-f5e3-497f-af4a-9fa52cf2bff1_947x570.png 424w, https://substackcdn.com/image/fetch/$s_!5bKg!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F77db4b60-f5e3-497f-af4a-9fa52cf2bff1_947x570.png 848w, https://substackcdn.com/image/fetch/$s_!5bKg!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F77db4b60-f5e3-497f-af4a-9fa52cf2bff1_947x570.png 1272w, https://substackcdn.com/image/fetch/$s_!5bKg!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F77db4b60-f5e3-497f-af4a-9fa52cf2bff1_947x570.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!5bKg!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F77db4b60-f5e3-497f-af4a-9fa52cf2bff1_947x570.png" width="947" height="570" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/77db4b60-f5e3-497f-af4a-9fa52cf2bff1_947x570.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:570,&quot;width&quot;:947,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:&quot;center&quot;,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!5bKg!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F77db4b60-f5e3-497f-af4a-9fa52cf2bff1_947x570.png 424w, https://substackcdn.com/image/fetch/$s_!5bKg!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F77db4b60-f5e3-497f-af4a-9fa52cf2bff1_947x570.png 848w, https://substackcdn.com/image/fetch/$s_!5bKg!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F77db4b60-f5e3-497f-af4a-9fa52cf2bff1_947x570.png 1272w, https://substackcdn.com/image/fetch/$s_!5bKg!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F77db4b60-f5e3-497f-af4a-9fa52cf2bff1_947x570.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>Gauss refined his estimate of the number of primes that are less than or equal to some number N by noting that a better approximation is</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!qm1h!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fec2e90f8-9082-4a7a-81bf-2b6d41407e3f_1280x115.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!qm1h!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fec2e90f8-9082-4a7a-81bf-2b6d41407e3f_1280x115.png 424w, https://substackcdn.com/image/fetch/$s_!qm1h!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fec2e90f8-9082-4a7a-81bf-2b6d41407e3f_1280x115.png 848w, https://substackcdn.com/image/fetch/$s_!qm1h!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fec2e90f8-9082-4a7a-81bf-2b6d41407e3f_1280x115.png 1272w, https://substackcdn.com/image/fetch/$s_!qm1h!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fec2e90f8-9082-4a7a-81bf-2b6d41407e3f_1280x115.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!qm1h!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fec2e90f8-9082-4a7a-81bf-2b6d41407e3f_1280x115.png" width="1280" height="115" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/ec2e90f8-9082-4a7a-81bf-2b6d41407e3f_1280x115.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:115,&quot;width&quot;:1280,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:7873,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/170285670?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fec2e90f8-9082-4a7a-81bf-2b6d41407e3f_1280x115.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!qm1h!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fec2e90f8-9082-4a7a-81bf-2b6d41407e3f_1280x115.png 424w, https://substackcdn.com/image/fetch/$s_!qm1h!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fec2e90f8-9082-4a7a-81bf-2b6d41407e3f_1280x115.png 848w, https://substackcdn.com/image/fetch/$s_!qm1h!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fec2e90f8-9082-4a7a-81bf-2b6d41407e3f_1280x115.png 1272w, https://substackcdn.com/image/fetch/$s_!qm1h!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fec2e90f8-9082-4a7a-81bf-2b6d41407e3f_1280x115.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>A key step that Gauss took, which brings to bear the tools of calculus to solve questions in number theory, was to write the approximation as an integral, the logarithmic integral function, denoted li(N) and defined as</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!Ymyw!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fa6e6716f-8332-4e11-aaf8-fb0b3249c460_1280x112.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!Ymyw!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fa6e6716f-8332-4e11-aaf8-fb0b3249c460_1280x112.png 424w, https://substackcdn.com/image/fetch/$s_!Ymyw!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fa6e6716f-8332-4e11-aaf8-fb0b3249c460_1280x112.png 848w, https://substackcdn.com/image/fetch/$s_!Ymyw!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fa6e6716f-8332-4e11-aaf8-fb0b3249c460_1280x112.png 1272w, https://substackcdn.com/image/fetch/$s_!Ymyw!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fa6e6716f-8332-4e11-aaf8-fb0b3249c460_1280x112.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!Ymyw!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fa6e6716f-8332-4e11-aaf8-fb0b3249c460_1280x112.png" width="1280" height="112" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/a6e6716f-8332-4e11-aaf8-fb0b3249c460_1280x112.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:112,&quot;width&quot;:1280,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:7221,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/170285670?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fa6e6716f-8332-4e11-aaf8-fb0b3249c460_1280x112.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!Ymyw!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fa6e6716f-8332-4e11-aaf8-fb0b3249c460_1280x112.png 424w, https://substackcdn.com/image/fetch/$s_!Ymyw!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fa6e6716f-8332-4e11-aaf8-fb0b3249c460_1280x112.png 848w, https://substackcdn.com/image/fetch/$s_!Ymyw!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fa6e6716f-8332-4e11-aaf8-fb0b3249c460_1280x112.png 1272w, https://substackcdn.com/image/fetch/$s_!Ymyw!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fa6e6716f-8332-4e11-aaf8-fb0b3249c460_1280x112.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>The chart below compares the li(N) function and the simpler approximation to the true number of primes less than or equal to N.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!HnPw!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F26430733-d875-4787-9dad-47d7345b8061_745x449.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!HnPw!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F26430733-d875-4787-9dad-47d7345b8061_745x449.png 424w, https://substackcdn.com/image/fetch/$s_!HnPw!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F26430733-d875-4787-9dad-47d7345b8061_745x449.png 848w, https://substackcdn.com/image/fetch/$s_!HnPw!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F26430733-d875-4787-9dad-47d7345b8061_745x449.png 1272w, https://substackcdn.com/image/fetch/$s_!HnPw!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F26430733-d875-4787-9dad-47d7345b8061_745x449.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!HnPw!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F26430733-d875-4787-9dad-47d7345b8061_745x449.png" width="745" height="449" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/26430733-d875-4787-9dad-47d7345b8061_745x449.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:449,&quot;width&quot;:745,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:&quot;center&quot;,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!HnPw!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F26430733-d875-4787-9dad-47d7345b8061_745x449.png 424w, https://substackcdn.com/image/fetch/$s_!HnPw!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F26430733-d875-4787-9dad-47d7345b8061_745x449.png 848w, https://substackcdn.com/image/fetch/$s_!HnPw!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F26430733-d875-4787-9dad-47d7345b8061_745x449.png 1272w, https://substackcdn.com/image/fetch/$s_!HnPw!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F26430733-d875-4787-9dad-47d7345b8061_745x449.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>Gauss&#8217;s log integral approximation seems to overestimate the number of primes while the simpler approximation seems to underestimate them. By the time he was 70, Gauss had computed primes for the first 3 million numbers and li(N) had always overestimated the true number of primes. Gauss believed li(N) always would overestimate them, but he had no proof for that belief.</p><p>Gauss conjectured that the relative error between N/ln(N) or li(N) and the prime counting function would decrease as N became larger and larger. As we can see, the percentage error between li(N) and the true number of primes does indeed get smaller and smaller as N increases. This is the Prime Number Conjecture:</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!ECd4!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0bd15733-0899-407f-b5e3-02886ef606a3_1280x102.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!ECd4!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0bd15733-0899-407f-b5e3-02886ef606a3_1280x102.png 424w, https://substackcdn.com/image/fetch/$s_!ECd4!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0bd15733-0899-407f-b5e3-02886ef606a3_1280x102.png 848w, https://substackcdn.com/image/fetch/$s_!ECd4!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0bd15733-0899-407f-b5e3-02886ef606a3_1280x102.png 1272w, https://substackcdn.com/image/fetch/$s_!ECd4!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0bd15733-0899-407f-b5e3-02886ef606a3_1280x102.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!ECd4!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0bd15733-0899-407f-b5e3-02886ef606a3_1280x102.png" width="1280" height="102" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/0bd15733-0899-407f-b5e3-02886ef606a3_1280x102.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:102,&quot;width&quot;:1280,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:4868,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/170285670?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0bd15733-0899-407f-b5e3-02886ef606a3_1280x102.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!ECd4!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0bd15733-0899-407f-b5e3-02886ef606a3_1280x102.png 424w, https://substackcdn.com/image/fetch/$s_!ECd4!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0bd15733-0899-407f-b5e3-02886ef606a3_1280x102.png 848w, https://substackcdn.com/image/fetch/$s_!ECd4!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0bd15733-0899-407f-b5e3-02886ef606a3_1280x102.png 1272w, https://substackcdn.com/image/fetch/$s_!ECd4!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F0bd15733-0899-407f-b5e3-02886ef606a3_1280x102.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>as x becomes larger and larger. The numerical evidence in the table below is very suggestive that&#8217;s it true but of course that&#8217;s not proof. The prime number conjecture could fail for much larger numbers.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!z80J!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ffd95c956-71c2-46d8-ba2b-dfb36349305b_500x359.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!z80J!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ffd95c956-71c2-46d8-ba2b-dfb36349305b_500x359.png 424w, https://substackcdn.com/image/fetch/$s_!z80J!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ffd95c956-71c2-46d8-ba2b-dfb36349305b_500x359.png 848w, https://substackcdn.com/image/fetch/$s_!z80J!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ffd95c956-71c2-46d8-ba2b-dfb36349305b_500x359.png 1272w, https://substackcdn.com/image/fetch/$s_!z80J!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ffd95c956-71c2-46d8-ba2b-dfb36349305b_500x359.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!z80J!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ffd95c956-71c2-46d8-ba2b-dfb36349305b_500x359.png" width="500" height="359" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/fd95c956-71c2-46d8-ba2b-dfb36349305b_500x359.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:359,&quot;width&quot;:500,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!z80J!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ffd95c956-71c2-46d8-ba2b-dfb36349305b_500x359.png 424w, https://substackcdn.com/image/fetch/$s_!z80J!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ffd95c956-71c2-46d8-ba2b-dfb36349305b_500x359.png 848w, https://substackcdn.com/image/fetch/$s_!z80J!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ffd95c956-71c2-46d8-ba2b-dfb36349305b_500x359.png 1272w, https://substackcdn.com/image/fetch/$s_!z80J!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ffd95c956-71c2-46d8-ba2b-dfb36349305b_500x359.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>It was Gauss&#8217;s student, Bernard Riemann, who made decisive progress in understanding the distribution of the prime numbers. Riemann began by studying theology, but Gauss recognized Riemann&#8217;s extreme mathematical talent and convinced him to switch to mathematics. Riemann made fundamental discoveries in complex analysis and non-Euclidean geometry and put the integral on rigorous foundation with Riemann sums. However, Riemann became most famous for the Riemann hypothesis, which came out of a short paper that Riemann wrote on the subject that had so long intrigued Gauss: how many primes are there less than a certain number? To understand what foundation Riemann built upon, we have to go back to Euler and the solution of the Basel problem.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!-L5b!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F27960e1b-b8b7-4810-bff9-9d5411e57b82_252x357.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!-L5b!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F27960e1b-b8b7-4810-bff9-9d5411e57b82_252x357.png 424w, https://substackcdn.com/image/fetch/$s_!-L5b!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F27960e1b-b8b7-4810-bff9-9d5411e57b82_252x357.png 848w, https://substackcdn.com/image/fetch/$s_!-L5b!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F27960e1b-b8b7-4810-bff9-9d5411e57b82_252x357.png 1272w, https://substackcdn.com/image/fetch/$s_!-L5b!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F27960e1b-b8b7-4810-bff9-9d5411e57b82_252x357.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!-L5b!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F27960e1b-b8b7-4810-bff9-9d5411e57b82_252x357.png" width="252" height="357" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/27960e1b-b8b7-4810-bff9-9d5411e57b82_252x357.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:357,&quot;width&quot;:252,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!-L5b!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F27960e1b-b8b7-4810-bff9-9d5411e57b82_252x357.png 424w, https://substackcdn.com/image/fetch/$s_!-L5b!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F27960e1b-b8b7-4810-bff9-9d5411e57b82_252x357.png 848w, https://substackcdn.com/image/fetch/$s_!-L5b!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F27960e1b-b8b7-4810-bff9-9d5411e57b82_252x357.png 1272w, https://substackcdn.com/image/fetch/$s_!-L5b!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F27960e1b-b8b7-4810-bff9-9d5411e57b82_252x357.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><h1>The Basel Problem</h1><p>The Basel problem was to find the sum of the reciprocal of all the squared natural numbers, i.e.,</p><div class="captioned-image-container"><figure><a class="image-link image2" target="_blank" href="https://substackcdn.com/image/fetch/$s_!_zzp!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1325348d-ed4f-459f-8175-132ae5c209f4_1280x141.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!_zzp!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1325348d-ed4f-459f-8175-132ae5c209f4_1280x141.png 424w, https://substackcdn.com/image/fetch/$s_!_zzp!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1325348d-ed4f-459f-8175-132ae5c209f4_1280x141.png 848w, https://substackcdn.com/image/fetch/$s_!_zzp!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1325348d-ed4f-459f-8175-132ae5c209f4_1280x141.png 1272w, https://substackcdn.com/image/fetch/$s_!_zzp!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1325348d-ed4f-459f-8175-132ae5c209f4_1280x141.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!_zzp!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1325348d-ed4f-459f-8175-132ae5c209f4_1280x141.png" width="1280" height="141" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/1325348d-ed4f-459f-8175-132ae5c209f4_1280x141.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:141,&quot;width&quot;:1280,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:7648,&quot;alt&quot;:null,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.gphopper.com/i/170285670?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1325348d-ed4f-459f-8175-132ae5c209f4_1280x141.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" srcset="https://substackcdn.com/image/fetch/$s_!_zzp!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1325348d-ed4f-459f-8175-132ae5c209f4_1280x141.png 424w, https://substackcdn.com/image/fetch/$s_!_zzp!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1325348d-ed4f-459f-8175-132ae5c209f4_1280x141.png 848w, https://substackcdn.com/image/fetch/$s_!_zzp!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1325348d-ed4f-459f-8175-132ae5c209f4_1280x141.png 1272w, https://substackcdn.com/image/fetch/$s_!_zzp!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1325348d-ed4f-459f-8175-132ae5c209f4_1280x141.png 1456w" sizes="100vw" loading="lazy"></picture><div></div></div></a></figure></div><p>The problem was named after the city of Basel, which was Euler&#8217;s and the Bernoulli brother&#8217;s hometown. The Bernoulli&#8217;s were not able to solve the problem, but Euler managed to do it around 1735. Euler&#8217;s solution is ingenious, leading to a solution not only to the original problem but also the to the sum of all reciprocals of the natural numbers taken to any even power.</p><p>To solve the problem, Euler started by writing the standard Maclaurin series for the sine function, which should be familiar from elementary calculus:</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\sin(x) = 1 - \\frac{x^3}{3!}+\\frac{x^5}{5!}-\\frac{x^7}{7!}\\ldots&quot;,&quot;id&quot;:&quot;CDHETUPTIG&quot;}" data-component-name="LatexBlockToDOM"></div><p>Any function can also be factored into a product of where its zero, providing an alternative way to write the function. For example, the function</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;x^2+x-2=(x+2)(x-1)&quot;,&quot;id&quot;:&quot;OBELFXQWTY&quot;}" data-component-name="LatexBlockToDOM"></div><p>and written in two way, since the function is zero at either x = 1 or x = -2. Since we know that sin(x) is zero at</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;0,\\pm\\pi,\\pm2\\pi,\\pm3\\pi\\ldots&quot;,&quot;id&quot;:&quot;RDXQCERRYM&quot;}" data-component-name="LatexBlockToDOM"></div><p>we can write sin(x) in factored form as an alternative</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\sin(x)=x(1-\\frac{x^2}{\\pi^2})(1-\\frac{x^2}{(2\\pi)^2})(1-\\frac{x^2}{(3\\pi)^2})\\ldots&quot;,&quot;id&quot;:&quot;VAUXGPPIQV&quot;}" data-component-name="LatexBlockToDOM"></div><p>Now let&#8217;s multiply this out, focusing on the cubic terms</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\sin(x)=x+(-\\frac{1}{\\pi^2}-\\frac{1}{(2\\pi)^2}-\\frac{1}{(3\\pi)^2}-\\ldots)x^3+(\\ldots)x^5+(\\ldots)x^7+\\ldots&quot;,&quot;id&quot;:&quot;SHAGNIBUGT&quot;}" data-component-name="LatexBlockToDOM"></div><p>If we equate the terms multiplying the cubic power of x in both the McLaurin series version of sin(x) and the factored form of sin(x), we get</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{1}{3!}=\\frac{1}{\\pi^2}+\\frac{1}{(2\\pi)^2}+\\frac{1}{(3\\pi)^2}+\\ldots&quot;,&quot;id&quot;:&quot;CMAELVEDRY&quot;}" data-component-name="LatexBlockToDOM"></div><p>or</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{\\pi^2}{6}=1+\\frac{1}{2^2}+\\frac{1}{3^2}+\\frac{1}{4^2}+\\ldots&quot;,&quot;id&quot;:&quot;KZQNISVAFQ&quot;}" data-component-name="LatexBlockToDOM"></div><p>From this relation, we can derive others that will prove useful later. Note that</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{1}{2^2}\\frac{\\pi^2}{6}=1+\\frac{1}{2^2}+\\frac{1}{4^2}+\\frac{1}{6^2}+\\ldots&quot;,&quot;id&quot;:&quot;IFZMPEJBVH&quot;}" data-component-name="LatexBlockToDOM"></div><p>and subtracting the equations</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{\\pi^2}{8}=1+\\frac{1}{3^2}+\\frac{1}{5^2}+\\frac{1}{7^2}+\\ldots&quot;,&quot;id&quot;:&quot;RGTAKFYMNL&quot;}" data-component-name="LatexBlockToDOM"></div><p>Also, we can see that</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{\\pi^2}{6}-\\frac{\\pi^2}{8}=\\frac{\\pi^2}{24}=\\frac{1}{2^2}+\\frac{1}{4^2}+\\frac{1}{6^2}+\\ldots&quot;,&quot;id&quot;:&quot;ATKZGLCODK&quot;}" data-component-name="LatexBlockToDOM"></div><p>And finally, we can then get the sum of the alternating series:</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{\\pi^2}{8}-\\frac{\\pi^2}{24}=\\frac{\\pi^2}{12}=1-\\frac{1}{2^2}+\\frac{1}{3^2}-\\frac{1}{4^2}+\\ldots&quot;,&quot;id&quot;:&quot;IGDOUYXVZO&quot;}" data-component-name="LatexBlockToDOM"></div><h1>Euler&#8217;s Product Formula</h1><p>While he was working on the Basel problem, Euler realized that if he generalized it, writing it as sum to an arbitrary power of x,  the new function, the &#950;(x) function (zeta function), amazingly encodes all the primes. The &#950;(x) function, a generalization of the Basel problem, is</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\zeta(x)=\\sum_{i=1}^{\\infty}\\frac{1}{i^x} =1+\\frac{1}{2^x}+\\frac{1}{3^x}+\\frac{1}{4^x}+\\ldots&quot;,&quot;id&quot;:&quot;UUBJENMVJF&quot;}" data-component-name="LatexBlockToDOM"></div><p>For the zeta function, Euler derived closed-form solutions in terms of &#960; for all even x: when x = 2, the sum is &#928;<sup>2</sup>/6. When x is 4, the sum is &#928;<sup>4</sup>/90 and when x is 6, &#928;<sup>6</sup>/945, and so on. The function is known to converge for all odd powers of x as well, although it is not known whether it converge to any nice formulas as the even powers do. However, the zeta function does not converge when x = 1, i.e., in that case it grows without bound, never approaching a particular value.</p><p>Since every natural number n can be written as a unique product of powers of primes, Euler noticed that &#950;(x) could alternatively be written as</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\zeta(x)=(1^x+(\\frac{1}{2})^x+(\\frac{1}{2^2})^x+\\ldots)(1^x+(\\frac{1}{3})^x+(\\frac{1}{3^2})^x+\\ldots)(1^x+(\\frac{1}{5})^x+(\\frac{1}{5^2})^x+\\ldots)&quot;,&quot;id&quot;:&quot;NUUGCYURVN&quot;}" data-component-name="LatexBlockToDOM"></div><p>But each sum in the infinite product in the equation above is the sum of a geometric series. For example,</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{1}{1-(\\frac{1}{2})^x}=1^x+(\\frac{1}{2})^x+(\\frac{1}{2^2})^x+(\\frac{1}{2^3})^x+\\ldots&quot;,&quot;id&quot;:&quot;EXYFJPYNEV&quot;}" data-component-name="LatexBlockToDOM"></div><p>and</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{1}{1-(\\frac{1}{3})^x}=1^x+(\\frac{1}{3})^x+(\\frac{1}{3^2})^x+(\\frac{1}{3^3})^x+\\ldots&quot;,&quot;id&quot;:&quot;CZQANKCCMH&quot;}" data-component-name="LatexBlockToDOM"></div><p>So, Euler showed that the zeta function can be written alternatively as a function of all the prime numbers.</p><h2>Riemann&#8217;s Realization</h2><p>Riemann realized from Euler&#8217;s work that the zeta function contains the secrets of the primes, which must hidden in the function somehow.</p><p>However, a look at Euler&#8217;s product function above presents a challenge. We know that this function converges to some non-zero value for all x &gt; 1. The sum diverges for all x&lt;=1. How does that help? It&#8217;s not at all clear how this function can tell us anymore about the primes than we already know.</p><h1>Analytic Continuation Comes to the Rescue</h1><p>Riemann was a master of complex analysis, the calculus of complex numbers. A complex number is a number a + ib that is a combination of a real part a and an imaginary part b, where</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;i=\\sqrt{-1}&quot;,&quot;id&quot;:&quot;XFYFDMTDFR&quot;}" data-component-name="LatexBlockToDOM"></div><p>Riemann&#8217;s strategy to uncover the hidden structure of the primes in the zeta function was to generalize it to be a function of complex rather than real numbers. To denote that the zeta function is defined over complex numbers, we can change the argument x to s, where s is some complex number of the form s = a + ib. The new zeta function is then</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\zeta(s)=(\\frac{1}{1-(\\frac{1}{2})^s})(\\frac{1}{1-(\\frac{1}{3})^s})(\\frac{1}{1-(\\frac{1}{5})^s})\\ldots&quot;,&quot;id&quot;:&quot;DKZVVYTKZV&quot;}" data-component-name="LatexBlockToDOM"></div><p>If we do that, we have a complex-valued zeta function. It can be shown to converge for all s = a + ib for a &gt; 1. For a &lt;=1, the zeta function diverges. Unfortunately just extending to complex numbers doesn&#8217;t help much.</p><p>However, Riemann performed some mathematical wizardry, analytically continuing the zeta function so that it is defined over the larger domain of complex numbers that includes a &lt;=1. To understand analytic continuation intuitively, it may be helpful to recall the parable of the three blind men trying to understand an elephant. One man can only feel the elephant&#8217;s trunk, and so thinks the elephant is the same as its trunk. Another man feels the elephant&#8217;s tail and thinks the tail is the elephant. The third man feels the elephant&#8217;s ears and thinks the ears are the elephant. The men need to find a way to piece together their limited observations of the elephant to understand what it is in its entirety.</p><p>Functions in the complex plane can behave the same way. We may see one form of a function over a limited domain of the complex plane. But that&#8217;s just a limited piece of a larger function that takes a different form over a broader domain of complex numbers. But it&#8217;s still the same function. Finding the analytic continuation of the zeta function is analogous to the blind men feeling different parts of the elephant and piecing them together.</p><h2>Analytically Continuing the Zeta Function To Be Defined Between 0 and 1</h2><p>We can extend the zeta function to a larger domain of complex numbers by defining the eta function</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\eta(s)=1-\\frac{1}{2^s}+\\frac{1}{3^s}-\\frac{1}{4^s}+\\ldots&quot;,&quot;id&quot;:&quot;JDBAEMAZNK&quot;}" data-component-name="LatexBlockToDOM"></div><p>It can be shown that this function converges for all complex numbers s = a + bi, where a&gt;=0 and a &#8800; 1. Notice that</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\zeta(s)-\\eta(s)=\\frac{2}{2^S}+\\frac{2}{4^S}+\\frac{2}{6^S}+\\ldots=2^{1-s}(1+(\\frac{1}{2})^s+(\\frac{1}{3})^s+\\dots)=2^{1-s}\\zeta(s)&quot;,&quot;id&quot;:&quot;NEYJNPPGXU&quot;}" data-component-name="LatexBlockToDOM"></div><p>Solving for &#950;(s)</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\zeta(s)=\\frac{1}{1-2^{1-s}}\\eta(s)&quot;,&quot;id&quot;:&quot;YRQNJMIJGW&quot;}" data-component-name="LatexBlockToDOM"></div><p>We have found the more general zeta function that is defined over the larger complex domain s = a + bi in terms of the eta function, defined for a&gt;=0 and a&#8800;1. Originally, zeta was defined for a &gt; 1 and now the extended version is defined for a &gt;= 0, a larger domain.</p><p>Since &#951;(s) is defined over that larger domain, this extended zeta function will give the same values as the original zeta function for a &gt;1. For example, let&#8217;s use it to calculate &#950;(2) which we already know to be &#928;<sup>2</sup>/6.</p><p>Plugging 2 into the extended zeta function, we see the extended zeta function agrees with the original zeta function.</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\zeta(2)=\\frac{1}{1-2^{1-2}}\\eta(2)=\\frac{2\\pi^2}{12}=\\frac{\\pi^2}{6}&quot;,&quot;id&quot;:&quot;ZRQPVHAPNY&quot;}" data-component-name="LatexBlockToDOM"></div><h2>The Zeros of the Extended Zeta Function</h2><p>How does the extended zeta function help? Riemann deduced that the zeros of the extended zeta function, which are complex numbers that make the extended zeta function zero, amazingly determine where the prime numbers are. The extended zeta function has an infinite number of complex zeros in the extended strip</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;0\\le\\,a\\,<\\,1&quot;,&quot;id&quot;:&quot;VOZBHOUYWJ&quot;}" data-component-name="LatexBlockToDOM"></div><p>for all imaginary numbers b. These zeros are called the critical zeros. If we know the values of the critical zeros, we can determine where the primes are. </p><h2>How Do We Find the Zeros of the Zeta Function?</h2><p>There are many methods to calculate the zeros of the zeta function. For example, we can use the eta function to find the zeros of the zeta function. As the expression we already derived shows below, whenever the eta function is zero the zeta function will be zero as well, i.e, if &#951;(s) = 0, then &#950;(s) = 0.</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\zeta(s)=\\frac{1}{1-2^{1-s}}\\eta(s)&quot;,&quot;id&quot;:&quot;SSFDLCCLYO&quot;}" data-component-name="LatexBlockToDOM"></div><p>So, we have reduced the problem to finding the zeros of the eta function. The eta function can be written as</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\eta(s)=1-(\\frac{1}{2})^{a+bi}+(\\frac{1}{3})^{a+bi}-(\\frac{1}{4})^{a+bi}+\\ldots&quot;,&quot;id&quot;:&quot;FMCIBNRJWP&quot;}" data-component-name="LatexBlockToDOM"></div><p>Looking at the general term, we see that</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;(\\frac{1}{n})^{a+bi}=\\frac{1}{n^a}n^{-bi}&quot;,&quot;id&quot;:&quot;GXMODWEJPK&quot;}" data-component-name="LatexBlockToDOM"></div><p>Recall Euler&#8217;s relation</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;e^{ib}=\\cos(b)+i\\sin(b)&quot;,&quot;id&quot;:&quot;UHXMERRLAY&quot;}" data-component-name="LatexBlockToDOM"></div><p>Then</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;n^{-bi}=e^{ln(n^{-bi})}=\\cos(b\\ln(n))-i\\sin(b\\ln(n))&quot;,&quot;id&quot;:&quot;EGTJIFMEJF&quot;}" data-component-name="LatexBlockToDOM"></div><p>Thus, we can write the eta function as</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\eta(s)=\\sum_{n=1}^{\\infty}(-1)^n\\frac{\\cos(b\\ln(n)}{n^a}+i\\sum_{n=1}^{\\infty}(-1)^n\\frac{\\sin(b\\ln(n)}{n^a}&quot;,&quot;id&quot;:&quot;RGBWBDDLRB&quot;}" data-component-name="LatexBlockToDOM"></div><p>when the real and imaginary parts of &#951;(s) equal zero. The eta function will be zero when the real and imaginary parts are both zero.</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\sum_{n=1}^{\\infty}(-1)^n\\frac{\\cos(b\\ln(n)}{n^a}=0&quot;,&quot;id&quot;:&quot;KOKASGJKDJ&quot;}" data-component-name="LatexBlockToDOM"></div><p>and</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\sum_{n=1}^{\\infty}(-1)^n\\frac{\\sin(b\\ln(n)}{n^a}=0&quot;,&quot;id&quot;:&quot;JFZENXFOXN&quot;}" data-component-name="LatexBlockToDOM"></div><p>Notice also that if s = a + bi is a zero, then s = a &#8211; bi is also a zero. That&#8217;s because the sign of b doesn&#8217;t matter since, by properties of the sine and cosine</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\cos(-b\\ln(n))=\\cos(b\\ln(n))&quot;,&quot;id&quot;:&quot;GPJCASSSML&quot;}" data-component-name="LatexBlockToDOM"></div><p>and</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\sin(-b\\ln(n))=-\\sin(b\\ln(n))&quot;,&quot;id&quot;:&quot;HCXXGKUEAS&quot;}" data-component-name="LatexBlockToDOM"></div><p>Thus, critical zeros of the zeta function always occur as complex conjugates.</p><p>The chart below graphs the zeros for the real and imaginary parts of the eta function. The red line is the graph of all the complex values in which the cosine terms sum to zero, and the blue line depicts all the complex values in which the sine terms sum to zero. Where they intersect is where both the real and imaginary components are zero, i.e., where the eta function is zero. The intersection of the curves defines the critical zeros. The chart below shows the first three critical zeros.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!pHhX!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!pHhX!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 424w, https://substackcdn.com/image/fetch/$s_!pHhX!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 848w, https://substackcdn.com/image/fetch/$s_!pHhX!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 1272w, https://substackcdn.com/image/fetch/$s_!pHhX!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!pHhX!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png" width="1114" height="472" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/c5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:472,&quot;width&quot;:1114,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:99918,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.scienceonsaturdays.org/i/161211299?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!pHhX!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 424w, https://substackcdn.com/image/fetch/$s_!pHhX!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 848w, https://substackcdn.com/image/fetch/$s_!pHhX!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 1272w, https://substackcdn.com/image/fetch/$s_!pHhX!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc5b1e742-4a47-486e-b995-91f0c06f3684_1114x472.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>Riemann calculated the first few zeros of the zeta function by hand and noticed that the real part was &#189; in each case. Riemann conjectured that all the zeros have real part equal to &#189;--that&#8217;s the Riemann hypothesis. To date, over 12 trillion zeros have been calculated and all of them have real part equal to &#189;. However, no one yet knows whether it&#8217;s always true that the zeros have real part equal to &#189;. We&#8217;ll explain why it&#8217;s so important to settle this question in the following sections, when we learn how the zeros determine where the prime numbers are.</p><h2>More General Analytic Continuation: The Functional Equation</h2><p>The zeros we found in the strip</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;0\\le\\,a\\,<\\,1&quot;,&quot;id&quot;:&quot;PWQWKXZGQG&quot;}" data-component-name="LatexBlockToDOM"></div><p>are termed the &#8220;critical zeros.&#8221; There are also additional infinite zeros on the negative real axis called the &#8220;trivial zeros.&#8221; Given how we&#8217;ve extended the zeta function so far, we cannot see these zeros. However, Riemann found an even more general analytic continuation of the zeta function that is defined for all s = a + bi where a &#8800; 1. </p><p>This general zeta function is written as</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\zeta(s)=2^s\\pi^{s-1}\\sin(\\frac{\\pi\\,s}{2})\\Gamma(1-s)\\zeta(1-s)&quot;,&quot;id&quot;:&quot;CZTULLGRXE&quot;}" data-component-name="LatexBlockToDOM"></div><p>This equation is called the &#8220;functional equation&#8221; because it relates &#950;(s) to &#950;(1-s)</p><p>Using this equation, we can trivially see that &#950;(s) also has zeros at s = -2,-4, -6, -8, &#8230;. besides the critical zeros we already found, since</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\sin(-\\pi)=\\sin(-2\\pi)=\\sin(-3\\pi)=\\ldots=0&quot;,&quot;id&quot;:&quot;DMVQOZELYQ&quot;}" data-component-name="LatexBlockToDOM"></div><p>All the zeros of the zeta function in the complex plane are depicted below.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!HH3h!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3ad3ea31-4338-4c87-a15a-16442079158c_1040x577.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!HH3h!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3ad3ea31-4338-4c87-a15a-16442079158c_1040x577.png 424w, https://substackcdn.com/image/fetch/$s_!HH3h!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3ad3ea31-4338-4c87-a15a-16442079158c_1040x577.png 848w, https://substackcdn.com/image/fetch/$s_!HH3h!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3ad3ea31-4338-4c87-a15a-16442079158c_1040x577.png 1272w, https://substackcdn.com/image/fetch/$s_!HH3h!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3ad3ea31-4338-4c87-a15a-16442079158c_1040x577.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!HH3h!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3ad3ea31-4338-4c87-a15a-16442079158c_1040x577.png" width="1040" height="577" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/3ad3ea31-4338-4c87-a15a-16442079158c_1040x577.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:577,&quot;width&quot;:1040,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:&quot;center&quot;,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!HH3h!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3ad3ea31-4338-4c87-a15a-16442079158c_1040x577.png 424w, https://substackcdn.com/image/fetch/$s_!HH3h!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3ad3ea31-4338-4c87-a15a-16442079158c_1040x577.png 848w, https://substackcdn.com/image/fetch/$s_!HH3h!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3ad3ea31-4338-4c87-a15a-16442079158c_1040x577.png 1272w, https://substackcdn.com/image/fetch/$s_!HH3h!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3ad3ea31-4338-4c87-a15a-16442079158c_1040x577.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><h1>How Many Primes Are There Less Than Or Equal to any Chosen Number?</h1><p>Armed with knowledge of the zeros of the zeta function, Riemann was able to derive a formula that related the prime numbers to the zeros of the &#950;(s) function. Let us define &#960;(x) to be the number of primes less than or equal to x. Riemann derived the following formula for &#960;(x)</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\pi(x)=\\sum_{n=1}^{\\infty}\\frac{\\mu(n)}{n}J(x^{\\frac{1}{n}})&quot;,&quot;id&quot;:&quot;CTZVZPFCTG&quot;}" data-component-name="LatexBlockToDOM"></div><p>where</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;J(x)=li(x)-\\sum_{\\rho}li(x^\\rho)-\\ln(2)+\\int_x^\\infty\\frac{dt}{t(t^2-1)\\ln(t)}&quot;,&quot;id&quot;:&quot;DUHHMXYWSK&quot;}" data-component-name="LatexBlockToDOM"></div><p>The function &#951;(n) is the mobius function. It takes on values of -1, 0, or 1 depending on what n is. Notice that the logarithmic integral li(x) appears in the formula, but in a more complex way than known to Gauss. The critical zeros appear in the formula as well, denoted as &#961;. Each critical zero is the exponent of x in the li(x) function. If we take just one term in the infinite sum, n = 1, and drop the critical zeros summation term and both ln(2) and the integral in J(x), both of which are small, we can recover Gauss&#8217;s approximation discussed earlier.</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\pi(x)\\approx\\frac{\\mu(1)}{1}J(x)=li(x)&quot;,&quot;id&quot;:&quot;JRYHGAPTMZ&quot;}" data-component-name="LatexBlockToDOM"></div><p>since &#956;(1) = 1. Gauss&#8217;s approximation is therefore a special case of the Riemann formula.</p><p>To see how the zeros determine where the primes are, we can compare the true number of primes to Riemann&#8217;s formula using just 10 J(x) terms and either 10, 25, 50, or 100 zeros and their complex conjugates. Truncating Riemann&#8217;s formula implies that we are approximating where the primes are, but, as can be seen, even using just 50 zeros reproduces the true prime counting function very well.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!Hfmz!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4de67800-9e5b-4b30-8d26-9f192dde26e9_1337x801.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!Hfmz!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4de67800-9e5b-4b30-8d26-9f192dde26e9_1337x801.png 424w, https://substackcdn.com/image/fetch/$s_!Hfmz!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4de67800-9e5b-4b30-8d26-9f192dde26e9_1337x801.png 848w, https://substackcdn.com/image/fetch/$s_!Hfmz!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4de67800-9e5b-4b30-8d26-9f192dde26e9_1337x801.png 1272w, https://substackcdn.com/image/fetch/$s_!Hfmz!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4de67800-9e5b-4b30-8d26-9f192dde26e9_1337x801.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!Hfmz!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4de67800-9e5b-4b30-8d26-9f192dde26e9_1337x801.png" width="1337" height="801" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/4de67800-9e5b-4b30-8d26-9f192dde26e9_1337x801.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:801,&quot;width&quot;:1337,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!Hfmz!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4de67800-9e5b-4b30-8d26-9f192dde26e9_1337x801.png 424w, https://substackcdn.com/image/fetch/$s_!Hfmz!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4de67800-9e5b-4b30-8d26-9f192dde26e9_1337x801.png 848w, https://substackcdn.com/image/fetch/$s_!Hfmz!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4de67800-9e5b-4b30-8d26-9f192dde26e9_1337x801.png 1272w, https://substackcdn.com/image/fetch/$s_!Hfmz!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4de67800-9e5b-4b30-8d26-9f192dde26e9_1337x801.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><h1>A Better Way To Pick Out The Primes Using the Zeros of &#950;(s)</h1><p>About 35 years after Riemann, Hans von Mangoldt derived a simpler formula for the primes, a formula that is preferred in modern textbook treatments of the Riemann hypothesis. By looking not at the number of primes, but rather at the sum of the natural logs of the number of primes, von Mangoldt was able to produce a simpler formula. Let &#968;(x) denote the sum of the natural logs of each prime or power of a prime less than x:</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\psi(x)=\\sum_{p^n\\le\\,x}\\ln(p)&quot;,&quot;id&quot;:&quot;OSVLFSIWQI&quot;}" data-component-name="LatexBlockToDOM"></div><p>The function &#968;(x) defines a step function like the prime counting function, with the difference that it pulses up by ln(p) for each prime or power of prime it counts. Von Mangoldt showed that this formula could be written as:</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\psi(x)=x-\\ln(2\\pi)-\\frac{1}{2}\\ln(1-\\frac{1}{x^2})-\\sum_\\rho\\frac{x^\\rho}{\\rho}&quot;,&quot;id&quot;:&quot;EHZZMNUOHV&quot;}" data-component-name="LatexBlockToDOM"></div><p>This function says that &#968;(x) rises linearly with x, but then has some correction terms, with the most important being the last term, which depend on the critical zeros &#961;. Although not obvious, the second to the last term arises from the trivial zeros. The term</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\sum_\\rho\\frac{x^\\rho}{\\rho}&quot;,&quot;id&quot;:&quot;WHTFORJYAC&quot;}" data-component-name="LatexBlockToDOM"></div><p>actually depends on all the zeros, but the trivial zeros have been written separately in the formula, so that the &#961; terms refer only to the critical zeros in Von Mangoldt&#8217;s formula. To see this, let&#8217;s take the summation term, but only include the trivial zeros in it, the negative even numbers. Then that summation term would be written as </p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\sum_{n=1}^{\\infty}\\frac{x^{-2n}}{-2n}&quot;,&quot;id&quot;:&quot;GXBQYHNGLT&quot;}" data-component-name="LatexBlockToDOM"></div><p>We&#8217;ll prove that</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\sum_{n=1}^{\\infty}\\frac{x^{-2n}}{-2n}=\\frac{1}{2}\\ln(1-\\frac{1}{x^2})&quot;,&quot;id&quot;:&quot;NDKYENJADT&quot;}" data-component-name="LatexBlockToDOM"></div><p>The Maclaurin series of ln(1+y) is</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\ln(1+y)=y-\\frac{y^2}{2}+\\frac{y^3}{3}-\\frac{y^4}{4}+\\ldots&quot;,&quot;id&quot;:&quot;NXAKMIOOAN&quot;}" data-component-name="LatexBlockToDOM"></div><p>If we substitute</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;y=\\frac{-1}{x^2}&quot;,&quot;id&quot;:&quot;NEQNLHRNLO&quot;}" data-component-name="LatexBlockToDOM"></div><p>we get</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{1}{2}\\ln(1-\\frac{1}{x^2})=\\frac{1}{2}(-\\frac{1}{x^2}-\\frac{1}{2x^4}-\\frac{1}{3x^6}-\\frac{1}{4x^8}-\\ldots)&quot;,&quot;id&quot;:&quot;TNMEWITNZS&quot;}" data-component-name="LatexBlockToDOM"></div><p></p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;=\\frac{x^{-2}}{-2}+\\frac{x^{-4}}{-4}+\\frac{x^{-6}}{-6}+\\frac{x^{-8}}{-8}+\\ldots = \\sum_{n=1}^{\\infty}\\frac{x^{-2n}}{-2n}&quot;,&quot;id&quot;:&quot;JSYNNKJZET&quot;}" data-component-name="LatexBlockToDOM"></div><p>Thus, the infinite trivial zeros can be compressed into the simple expression</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{1}{2}\\ln(1-\\frac{1}{x^2})&quot;,&quot;id&quot;:&quot;SUFWZTSKWB&quot;}" data-component-name="LatexBlockToDOM"></div><h2>Picking Out the Primes</h2><p>To show how we can use the von Mangoldt function to pick our the primes or power of primes, note that</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\psi'(x)=\\ln(p) for \\,p^k and \\,zero\\,otherwise&quot;,&quot;id&quot;:&quot;UZZBKSFCQA&quot;}" data-component-name="LatexBlockToDOM"></div><p>The derivative of the von Mangoldt pulses whenever it encounters a prime or power of a prime but is zero otherwise. Thus, we can use the derivative of the von Mangoldt function to pick out where the primes are.</p><p>Taking the derivative of &#968;(x), we get</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\psi'(x)=1-\\frac{1}{x(x^2-1)}-\\sum_{\\rho}x^{\\rho-1}&quot;,&quot;id&quot;:&quot;SKVTZFTYIA&quot;}" data-component-name="LatexBlockToDOM"></div><p>This function will pulse at every prime or power of primes. We can write this formula more simply by taking one x<sup>&#961;-1</sup> term in the sum and noting that every zero s = a + bi is matched by another zero that is its complex conjugate a - bi in the infinite sum. Taking as an example one critical zero a + bi and its complex conjugate a - bi, we see that </p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;x^{a+bi-1}+x^{a-bi-1}=x^{a-1}(x^{bi}+x^{-bi})&quot;,&quot;id&quot;:&quot;YIBIDJAHCK&quot;}" data-component-name="LatexBlockToDOM"></div><p>We can write</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;x^{a+bi-1}+x^{a-bi-1}=x^{a-1}(x^{bi}+x^{-bi})=x^{a-1}(e^{ib\\ln(x)}+e^{-ib\\ln(x)})&quot;,&quot;id&quot;:&quot;OQKQYRWQIG&quot;}" data-component-name="LatexBlockToDOM"></div><p>But we know that</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{e^{ix}+e^{-ix}}{2}=\\cos(x)&quot;,&quot;id&quot;:&quot;MIAGNDYWFJ&quot;}" data-component-name="LatexBlockToDOM"></div><p>and thus,</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\psi'(x)=1-\\frac{1}{x(x^2-1)}-\\sum_{\\rho=a+bi}x^{a-1}(2\\cos(b\\ln(x))&quot;,&quot;id&quot;:&quot;NVDFHXENHD&quot;}" data-component-name="LatexBlockToDOM"></div><p>a simpler formula that makes clear the role of the the real part a and the imaginary part b of the critical zeros. The Riemann Hypothesis states that a is always 1/2 in the formula above.</p><h1>The Music of the Primes</h1><p>The last term in &#968;'(x) is a series of waves. Let&#8217;s look at the equation for the wave resulting from the first critical zero 1/2 + 14.134i</p><p>It looks like this:</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{-2\\cos(14.134\\ln(x)}{x^{1/2}}&quot;,&quot;id&quot;:&quot;ENJPOCDXRK&quot;}" data-component-name="LatexBlockToDOM"></div><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!iUu_!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbb12a385-a32f-4080-8d10-93b3ea6113ee_530x318.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!iUu_!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbb12a385-a32f-4080-8d10-93b3ea6113ee_530x318.png 424w, https://substackcdn.com/image/fetch/$s_!iUu_!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbb12a385-a32f-4080-8d10-93b3ea6113ee_530x318.png 848w, https://substackcdn.com/image/fetch/$s_!iUu_!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbb12a385-a32f-4080-8d10-93b3ea6113ee_530x318.png 1272w, https://substackcdn.com/image/fetch/$s_!iUu_!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbb12a385-a32f-4080-8d10-93b3ea6113ee_530x318.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!iUu_!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbb12a385-a32f-4080-8d10-93b3ea6113ee_530x318.png" width="530" height="318" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/bb12a385-a32f-4080-8d10-93b3ea6113ee_530x318.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:318,&quot;width&quot;:530,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!iUu_!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbb12a385-a32f-4080-8d10-93b3ea6113ee_530x318.png 424w, https://substackcdn.com/image/fetch/$s_!iUu_!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbb12a385-a32f-4080-8d10-93b3ea6113ee_530x318.png 848w, https://substackcdn.com/image/fetch/$s_!iUu_!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbb12a385-a32f-4080-8d10-93b3ea6113ee_530x318.png 1272w, https://substackcdn.com/image/fetch/$s_!iUu_!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fbb12a385-a32f-4080-8d10-93b3ea6113ee_530x318.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>As we can see, the first zero defines a wave that goes out to infinity. Notice that its frequency slows down, since the imaginary component of the zero is multiplied by ln(x), which grows more slowly than x. The amplitude of the wave also gets smaller over time, at the rate 2/x<sup>1/2 </sup></p><p>The chart below depicts the wave produced by the 50th zero. We see the same pattern: the wave starts off with very high frequency, because of the constant 143.118 in the cosine term. However, the frequency slows down because the constant is scaled by ln(x). The amplitude of the wave also slows at the rate 2/x<sup>1/2</sup></p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!FiWA!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F52bd3743-f46d-4a4a-a6da-98a1a980eb3c_542x326.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!FiWA!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F52bd3743-f46d-4a4a-a6da-98a1a980eb3c_542x326.png 424w, https://substackcdn.com/image/fetch/$s_!FiWA!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F52bd3743-f46d-4a4a-a6da-98a1a980eb3c_542x326.png 848w, https://substackcdn.com/image/fetch/$s_!FiWA!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F52bd3743-f46d-4a4a-a6da-98a1a980eb3c_542x326.png 1272w, https://substackcdn.com/image/fetch/$s_!FiWA!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F52bd3743-f46d-4a4a-a6da-98a1a980eb3c_542x326.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!FiWA!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F52bd3743-f46d-4a4a-a6da-98a1a980eb3c_542x326.png" width="542" height="326" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/52bd3743-f46d-4a4a-a6da-98a1a980eb3c_542x326.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:326,&quot;width&quot;:542,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!FiWA!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F52bd3743-f46d-4a4a-a6da-98a1a980eb3c_542x326.png 424w, https://substackcdn.com/image/fetch/$s_!FiWA!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F52bd3743-f46d-4a4a-a6da-98a1a980eb3c_542x326.png 848w, https://substackcdn.com/image/fetch/$s_!FiWA!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F52bd3743-f46d-4a4a-a6da-98a1a980eb3c_542x326.png 1272w, https://substackcdn.com/image/fetch/$s_!FiWA!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F52bd3743-f46d-4a4a-a6da-98a1a980eb3c_542x326.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>The essence of the Riemann hypothesis is that the amplitudes of all the waves slow down at exactly the same rate, 2/x<sup>1/2. </sup>That&#8217;s only possible if all zeros have real part equal to &#189;.</p><p>Mathematicians sometimes refer to the &#8220;music of the primes&#8221; because each wave created by the infinite imaginary parts of the zeros are playing at a different frequency, much like musical instruments emit sound waves at different frequencies. The waves of the zeta orchestra come together to create a symphony of the primes and powers of primes. However, if the Riemann hypothesis is true, all the zeta waves have the same amplitude at each point: none of the zeta instruments are playing any louder than any other. The amplitude of every wave slows down at exactly the same rate, 2/x<sup>1/2.</sup></p><p>We can see how the zeta waves come together in a symphony, canceling each other out except where primes and powers of primes reside, by graphing them for different numbers of zeta zeros. </p><p>Suppose we use only the first zeta zero and its complex conjugate in the sum. No pattern emerges yet.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!nO6T!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F298b717a-41b7-4b18-8049-02bf310e429c_502x303.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!nO6T!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F298b717a-41b7-4b18-8049-02bf310e429c_502x303.png 424w, https://substackcdn.com/image/fetch/$s_!nO6T!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F298b717a-41b7-4b18-8049-02bf310e429c_502x303.png 848w, https://substackcdn.com/image/fetch/$s_!nO6T!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F298b717a-41b7-4b18-8049-02bf310e429c_502x303.png 1272w, https://substackcdn.com/image/fetch/$s_!nO6T!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F298b717a-41b7-4b18-8049-02bf310e429c_502x303.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!nO6T!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F298b717a-41b7-4b18-8049-02bf310e429c_502x303.png" width="502" height="303" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/298b717a-41b7-4b18-8049-02bf310e429c_502x303.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:303,&quot;width&quot;:502,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:15621,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.scienceonsaturdays.org/i/161211299?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F298b717a-41b7-4b18-8049-02bf310e429c_502x303.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!nO6T!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F298b717a-41b7-4b18-8049-02bf310e429c_502x303.png 424w, https://substackcdn.com/image/fetch/$s_!nO6T!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F298b717a-41b7-4b18-8049-02bf310e429c_502x303.png 848w, https://substackcdn.com/image/fetch/$s_!nO6T!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F298b717a-41b7-4b18-8049-02bf310e429c_502x303.png 1272w, https://substackcdn.com/image/fetch/$s_!nO6T!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F298b717a-41b7-4b18-8049-02bf310e429c_502x303.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>With ten pairs of zeros included in the sum, we still don&#8217;t see a clear pattern.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!CuQf!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98c08712-39a0-4557-a067-e0a8f60bf73d_539x325.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!CuQf!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98c08712-39a0-4557-a067-e0a8f60bf73d_539x325.png 424w, https://substackcdn.com/image/fetch/$s_!CuQf!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98c08712-39a0-4557-a067-e0a8f60bf73d_539x325.png 848w, https://substackcdn.com/image/fetch/$s_!CuQf!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98c08712-39a0-4557-a067-e0a8f60bf73d_539x325.png 1272w, https://substackcdn.com/image/fetch/$s_!CuQf!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98c08712-39a0-4557-a067-e0a8f60bf73d_539x325.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!CuQf!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98c08712-39a0-4557-a067-e0a8f60bf73d_539x325.png" width="539" height="325" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/98c08712-39a0-4557-a067-e0a8f60bf73d_539x325.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:325,&quot;width&quot;:539,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:22560,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.scienceonsaturdays.org/i/161211299?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98c08712-39a0-4557-a067-e0a8f60bf73d_539x325.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!CuQf!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98c08712-39a0-4557-a067-e0a8f60bf73d_539x325.png 424w, https://substackcdn.com/image/fetch/$s_!CuQf!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98c08712-39a0-4557-a067-e0a8f60bf73d_539x325.png 848w, https://substackcdn.com/image/fetch/$s_!CuQf!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98c08712-39a0-4557-a067-e0a8f60bf73d_539x325.png 1272w, https://substackcdn.com/image/fetch/$s_!CuQf!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F98c08712-39a0-4557-a067-e0a8f60bf73d_539x325.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>Using 50 pairs of zeta zeros in the sum, our orchestra seems to be picking out primes and powers of primes. </p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!9dhp!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4969cc6d-6a24-40d9-880a-93d1c105ca8a_693x416.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!9dhp!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4969cc6d-6a24-40d9-880a-93d1c105ca8a_693x416.png 424w, https://substackcdn.com/image/fetch/$s_!9dhp!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4969cc6d-6a24-40d9-880a-93d1c105ca8a_693x416.png 848w, https://substackcdn.com/image/fetch/$s_!9dhp!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4969cc6d-6a24-40d9-880a-93d1c105ca8a_693x416.png 1272w, https://substackcdn.com/image/fetch/$s_!9dhp!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4969cc6d-6a24-40d9-880a-93d1c105ca8a_693x416.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!9dhp!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4969cc6d-6a24-40d9-880a-93d1c105ca8a_693x416.png" width="693" height="416" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/4969cc6d-6a24-40d9-880a-93d1c105ca8a_693x416.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:416,&quot;width&quot;:693,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!9dhp!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4969cc6d-6a24-40d9-880a-93d1c105ca8a_693x416.png 424w, https://substackcdn.com/image/fetch/$s_!9dhp!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4969cc6d-6a24-40d9-880a-93d1c105ca8a_693x416.png 848w, https://substackcdn.com/image/fetch/$s_!9dhp!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4969cc6d-6a24-40d9-880a-93d1c105ca8a_693x416.png 1272w, https://substackcdn.com/image/fetch/$s_!9dhp!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4969cc6d-6a24-40d9-880a-93d1c105ca8a_693x416.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>Let&#8217;s add more instruments to the orchestra to confirm, including 100 pairs of zeta zeros in the sum. One hundred pairs of zeros is enough to see the primes below 20 picked out.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!uaTk!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F911af0f1-275d-4f71-a692-7b84ada1068c_761x403.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!uaTk!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F911af0f1-275d-4f71-a692-7b84ada1068c_761x403.png 424w, https://substackcdn.com/image/fetch/$s_!uaTk!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F911af0f1-275d-4f71-a692-7b84ada1068c_761x403.png 848w, https://substackcdn.com/image/fetch/$s_!uaTk!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F911af0f1-275d-4f71-a692-7b84ada1068c_761x403.png 1272w, https://substackcdn.com/image/fetch/$s_!uaTk!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F911af0f1-275d-4f71-a692-7b84ada1068c_761x403.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!uaTk!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F911af0f1-275d-4f71-a692-7b84ada1068c_761x403.png" width="761" height="403" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/911af0f1-275d-4f71-a692-7b84ada1068c_761x403.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:403,&quot;width&quot;:761,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:73669,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.scienceonsaturdays.org/i/161211299?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F911af0f1-275d-4f71-a692-7b84ada1068c_761x403.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!uaTk!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F911af0f1-275d-4f71-a692-7b84ada1068c_761x403.png 424w, https://substackcdn.com/image/fetch/$s_!uaTk!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F911af0f1-275d-4f71-a692-7b84ada1068c_761x403.png 848w, https://substackcdn.com/image/fetch/$s_!uaTk!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F911af0f1-275d-4f71-a692-7b84ada1068c_761x403.png 1272w, https://substackcdn.com/image/fetch/$s_!uaTk!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F911af0f1-275d-4f71-a692-7b84ada1068c_761x403.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><h2>Do the Trivial Zeros Matter?</h2><p>We focused on the wave component of Mangoldt&#8217;s function, which depends on the critical zeros. It&#8217;s sometimes thought that the trivial zeros play no role, but, as we have seen, that&#8217;s not really true. As we will recall, the trivial zeros contribute the term</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{1}{x(x^2-1)}&quot;,&quot;id&quot;:&quot;IJHAETPFFS&quot;}" data-component-name="LatexBlockToDOM"></div><p>in Von Mangoldt&#8217;s formula. That term is very tiny however. At x = 2, it&#8217;s only 1/6 and becomes smaller and smaller as x increases. The effect of the trivial zeros is indeed trivial, but not zero.</p><h1>Why Does the Riemann Hypothesis Matter For Pure Mathematics?</h1><p>Using methods first developed by Riemann, mathematicians finally proved that the prime number conjecture was valid at the end of the 19<sup>th</sup> century. Recall that the  prime number conjecture is that </p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{\\pi(x)}{li(x)}\\longrightarrow1&quot;,&quot;id&quot;:&quot;KRQNXYXJXV&quot;}" data-component-name="LatexBlockToDOM"></div><p>as x becomes larger and larger. That means that the true number of primes less than x will get closer and closer to Gauss&#8217;s approximation li(x). However, the prime number conjecture doesn&#8217;t really pin down the structure of the primes precisely. There could still be pockets for very large x in which the density of primes suddenly increases and other regions where they become scarcer than expected. However, if the Riemann hypothesis is true, we can say precisely how good an approximation li(x) will be to the true number of primes less than x. The error between &#960;(x) and li(x) will always be less than or equal to</p><div class="latex-rendered" data-attrs="{&quot;persistentExpression&quot;:&quot;\\frac{\\sqrt{\\pi}\\ln(x)}{8\\pi}&quot;,&quot;id&quot;:&quot;CSDRTLIJTF&quot;}" data-component-name="LatexBlockToDOM"></div><p>if the Riemann Hypothesis is true. The following table shows highly tightly bound the primes are to the li(x) function if the Riemann Hypothesis is true.</p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!IvcU!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe52018e1-7004-40a7-bbb4-b1e3403ac55f_494x389.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!IvcU!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe52018e1-7004-40a7-bbb4-b1e3403ac55f_494x389.png 424w, https://substackcdn.com/image/fetch/$s_!IvcU!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe52018e1-7004-40a7-bbb4-b1e3403ac55f_494x389.png 848w, https://substackcdn.com/image/fetch/$s_!IvcU!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe52018e1-7004-40a7-bbb4-b1e3403ac55f_494x389.png 1272w, https://substackcdn.com/image/fetch/$s_!IvcU!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe52018e1-7004-40a7-bbb4-b1e3403ac55f_494x389.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!IvcU!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe52018e1-7004-40a7-bbb4-b1e3403ac55f_494x389.png" width="494" height="389" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/e52018e1-7004-40a7-bbb4-b1e3403ac55f_494x389.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:389,&quot;width&quot;:494,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:25193,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:&quot;image/png&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:&quot;https://www.scienceonsaturdays.org/i/161211299?img=https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe52018e1-7004-40a7-bbb4-b1e3403ac55f_494x389.png&quot;,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!IvcU!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe52018e1-7004-40a7-bbb4-b1e3403ac55f_494x389.png 424w, https://substackcdn.com/image/fetch/$s_!IvcU!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe52018e1-7004-40a7-bbb4-b1e3403ac55f_494x389.png 848w, https://substackcdn.com/image/fetch/$s_!IvcU!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe52018e1-7004-40a7-bbb4-b1e3403ac55f_494x389.png 1272w, https://substackcdn.com/image/fetch/$s_!IvcU!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe52018e1-7004-40a7-bbb4-b1e3403ac55f_494x389.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><h1>The Quest Continues</h1><p>The mathematician G.H. Hardy, working fifty years after Riemann, was obsessed with proving the Riemann Hypothesis. Besides mathematics, Hardy played cricket and real tennis (as opposed to lawn tennis) and was an expert in ball games. He believed in pursuing mathematics for its own sake, a philosophy he explained in &#8220;A Mathematician&#8217;s Apology&#8221;. Hardy proved that there are an infinite number of zeros of the zeta function that have real part &#189; , but that of course doesn&#8217;t mean that all of them do. </p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!-AWv!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F43630d16-2fb9-453e-bf42-801958e5335a_310x441.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!-AWv!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F43630d16-2fb9-453e-bf42-801958e5335a_310x441.png 424w, https://substackcdn.com/image/fetch/$s_!-AWv!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F43630d16-2fb9-453e-bf42-801958e5335a_310x441.png 848w, https://substackcdn.com/image/fetch/$s_!-AWv!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F43630d16-2fb9-453e-bf42-801958e5335a_310x441.png 1272w, https://substackcdn.com/image/fetch/$s_!-AWv!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F43630d16-2fb9-453e-bf42-801958e5335a_310x441.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!-AWv!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F43630d16-2fb9-453e-bf42-801958e5335a_310x441.png" width="310" height="441" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/43630d16-2fb9-453e-bf42-801958e5335a_310x441.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:441,&quot;width&quot;:310,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!-AWv!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F43630d16-2fb9-453e-bf42-801958e5335a_310x441.png 424w, https://substackcdn.com/image/fetch/$s_!-AWv!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F43630d16-2fb9-453e-bf42-801958e5335a_310x441.png 848w, https://substackcdn.com/image/fetch/$s_!-AWv!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F43630d16-2fb9-453e-bf42-801958e5335a_310x441.png 1272w, https://substackcdn.com/image/fetch/$s_!-AWv!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F43630d16-2fb9-453e-bf42-801958e5335a_310x441.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><p>Mathematicians continue their attempts to prove the Riemann Hypothesis. One empirical way to proceed is to calculate the zeros by computer. If one zero is found that has a real part not equal to 1/2, that would disprove the Riemann hypothesis. However, so far the Riemann hypothesis has been verified computationally for over 12 trillion zeros. </p><p>Like Hardy, pure mathematicians work on the Riemann Hypothesis for its own sake, not because there are necessarily any applications. However, the resolution of Riemann&#8217;s hypothesis will probably open up new vistas in mathematics, many of which may inspire new applications. Hilbert once said that if he woke up after 500 years, his first question would be to ask whether the Riemann Hypothesis had been proved. In his retirement address (and on his tombstone), Hilbert summed up the motivation of pure mathematicians and scientists by saying: &#8220;Wir mussen wissen, wir werden wissen&#8221;&#8212;We must know, we will know.</p><div class="subscription-widget-wrap-editor" data-attrs="{&quot;url&quot;:&quot;https://www.gphopper.com/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe&quot;,&quot;language&quot;:&quot;en&quot;}" data-component-name="SubscribeWidgetToDOM"><div class="subscription-widget show-subscribe"><div class="preamble"><p class="cta-caption">Thanks for reading Greg Hopper! Subscribe for free to receive new posts and support my work.</p></div><form class="subscription-widget-subscribe"><input type="email" class="email-input" name="email" placeholder="Type your email&#8230;" tabindex="-1"><input type="submit" class="button primary" value="Subscribe"><div class="fake-input-wrapper"><div class="fake-input"></div><div class="fake-button"></div></div></form></div></div>]]></content:encoded></item></channel></rss>