[math-fun] Backwards Bekenstein argument?