“The law that such an optimum must exist can be proved by contemplating the implications of the contrary.”