LOL as I'm reading the bit about the minimum (and before I get to the part linking the proof (which spawned the blog post)) my brain says "Ok, but have you done

LOL as I'm reading the bit about the minimum (and before I get to the part linking the proof (which spawned the blog post)) my brain says "Ok, but have you done a formal proof extrapolating out to... maybe there's another dip, a pattern of dips..." I haven't clicked the link, but I guess this is a well written blog post, since the place where I asked the question is precisely where they link to the paper. Nice.