Should be `mn < 3*k` (and `mn` in the comment above).