Just thinking about prime denominators: you should be able to take K to be n to the power 3/2, up to some logarithmic stuff. This is just greedily taking a bunch of primes in some interval. There is a little to be gained by using the whole Farey series.

[The condition on the numerators looks slightly troublesome. Just taking the p/q where q is fixed and p coprime to q is going to have the sum of p's around half the sums of q's, on average (or a bit less ...). But this can be worked round: take the "second half" of the p/q with p at least q/2, with the 1 + p/q for the "first half" where p is less than q/2.]