TeX source:

N t  > K/2