We define a glass of wine W as containing sips w0, w1, w2, …, wn. For two sips wn and wm, n < m if the drinker consumed wn earlier than wm. Note that is <, strictly less than, because if n = m the same sip is being consumed twice. While not unknown, this phenomenon usually does not appear until after more than one glass, and in any case is irrelevant to this study.
We further define a function f, which denotes the flavour of the wine. The better the wine tastes, the larger the value of f. Negative values are regrettably possible.
The Wine Theorem
The Wine Theorem is simply: f(wn) > f(w0)
The proof is left as an exercise to the reader.
Conjecture: as n approaches infinity, f(w0) ÷ f(wn) approaches zero.
Attempts to prove this conjecture are not encouraged.
The last sip of the glass tastes an awful lot better than the first.
 the proof is notably simpler when attempted with a glass of cheap wine in hand.