TeX source:
N_t < K/2