fn remaining_for(n: usize, k: usize) -> Option<usize>