Comment by klysm

I'm curious what the specific bounds were before and after this proof.