[math-fun] random k-element subsets in sublinear time