TeX source:
N\leq k