我猜的是先在每个pen上放一只动物，然后每第k个pen就再放k只动物上去，确实过了。

但如何证明这样放是“能让情况不合法所需的最少动物数”？