Discovering an Optimal Property of the Mean