TeX source:

a t > 2.533