[math-fun] black hole size according to Andrew King. Atrocious.