If and for all , then .
Proof. Suppose otherwise, that for all , but . Then, we have and implies , so is a positive real number. Then let (since this is a valid choice of ). By assumption we then have (since for all ), but this is a contradiction since (equality is symmetric) implies . Therefore, we must have