TeX source:
N_t  < K/2