我们找到了相关论文, 文中证明了对于 $|X|=n,|Y|=m$ 时, 最优数量有:

这和我们给出的标算是一致的.

论文链接: On The Numb er of Condoms at a Cheap Safe-Sex (其实标题才是这题原来的题意.)