I'm sure we know the bound exists, but I'm more interested in whether we've found a closed form (or even just analytic) way to express the bound.