Text this: A theorem on the optimal allocation of effort