n_choose_k