在Python中查找A中元素数量的程序严格小于B中至少k个元素的程序