Following is an outlined proof that there exists a supremely delicious food, and that we must find it. Please leave suggestions if you think it is inadequate (I didn’t major in math — or miracles, for that matter). After all, the finding of new delicious is a serious matter.

Key:
Fx = x is food
Tx = x is a moment in time
Hx = x is a human
Ix = x is an input
Ox = x is an output
Jx = x is obtained
Kx = x is eaten
Lxy = x is in the interest of y
Wxy = x wants y
Exy = x is easier than y
Bxy = x is better than y

Part I

All humans want that which is delicious.
   (x)(y)((Hx^Dy)⊃Wxy)
That which humans want is in their interest.
   (x)(y)((Hx^Wxy)⊃Lyx)
Therefore, that which is delicious is in the interest of humans.
   (x)(y)((Hx^Dy)⊃Lyx)

Part II

For every input, there is an output.
   (x)(∃y)(Ix^Oy)
Things that are easier are better.
   (x)(y)(Exy⊃Bxy)
Things that require less input than given output are easier.
   (w)(x)(y)(z)(((Ix^Oy)^(I’w^O’z)^((z-w)>(y-x)))⊃Ewx)
Therefore, things that require less input than given output are better.
   (w)(x)(y)(z)(((Ix^Oy)^(I’w^O’z)^((z-w)>(y-x)))⊃Bwx)

Part III

Obtaining food is an input.
   (x)(∃y)((Fx^Jx)⊃Iy)
Eating food is an output.
   (x)(∃y)((Fx^Kx)⊃Oy))
Therefore, obtaining less food and eating more food is easier.
   (w)(x)(y)(z)(((Fw^Fx^Fy^Fz)^(Jx^Ky)^(J’w^K’z)^((z-w)>(y-x)))⊃Ewx)
Therefore, obtaining less food and eating more food is better.
   (w)(x)(y)(z)(((Fw^Fx^Fy^Fz)^(Jx^Ky)^(J’w^K’z)^((z-w)>(y-x)))⊃Bwx)

Part IV

Anything can be easier.
   (x)(∃y)(Eyx)
Therefore, one food may be obtained and infinite food eaten.
   (∃x)(∃y)((Fx^Jx)^(Fy^Ky)^((x=1)^(y=∞)))
Therefore, there exists a food that is always delicious.
   (∃x)(Fx^(y)(Ty⊃Dx)) (From now on, we shall refer to this food as p.)

Part V

Humans want what is easier.
   (x)(y)((Hx^(z)(Eyz))⊃Wxy)
The food which is always delicious is easier than all other foods.
   (x)((Fx^(x≠p))⊃Epx)
Therefore, the food which is always delicious is in the interest of humanity.
   (x)(Hx⊃Lpx)

And so we must find this thus far elusive, always delicious food – this p – as it is in our interest to do so.