@Keith, \\(2[\textrm{egg}] \leq [\textrm{egg}]\\) would mean that we can get 2 eggs from exactly 1 egg, which also isn't a valid reaction in the baking monoidal preorder described in the lecture. So I don't think Johnathan's proof works even for the opposite preorder.