[math-fun] There's probably a simple derivation of this,