T(v) is Perceived Time before vacation starts, in minutes;
T(o) is the Time Off, in days;
T(a) is the actual time before vacation starts, in hours;
A is the Anticipation Index, defined as the number of weeks since the last vacation ended.
Thus, it can be shown, the last 2 1/4 hours of my shift today, with A being 21, T(o) being 11, took 4 hours 15 minutes 45 seconds to go by.
This can be readily demonstrated by showing that, despite quadruple-checking my formula and readings for over two hours, the clock only moved on a few minutes.
*QED means Quod Erat Demonstrandum, which is italics for "that which was required to be shown" or, in non-nerd speak, "told ya so".