"such that the picture falls whenever any k out of the n nails get removed, and the picture remains hanging when fewer than k nails get removed."
I interpret that to mean exactly K nails; no more, no less.
I interpret that to mean exactly K nails; no more, no less.