User blog comment:Hyp cos/SCG(n) and some related/@comment-1605058-20140915163630/@comment-11227630-20140916051225

But it is a better bound than Goucher's one. Or have you worked out an even better one than mine?