User blog comment:Wythagoras/New bound for SSCG(2)/@comment-37993808-20190906113852

I dunno how this can be improved, but methinks it is an optimal value and this can't be improved.