Let . Then the Legendre transform is: For convex, it is always true that on a domain where they are both defined. In practice, we will have .