User blog comment:Wythagoras/Extension to Friedmann's stuff/@comment-5150073-20130612192628/@comment-1605058-20130612194808

...given this number is defined (see my comment below)