[Sniffnoy]

Hm, they prove the existence of a K, but don't put any explicit bounds on it. Someone's going to have to proof-mine this one...