sidebar
This bound has an interesting story. Kip Thorne, and others after him, attribute the conjecture to Freeman Dyson; Freeman Dyson denies he ever made such a conjecture, and instead attributes such notion to his 1962 paper [157*], where he works out the power emitted by a binary of compact objects. (We thank Gary Gibbons and Christoph Schiller for correspondence on this matter.)