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.