Nash Bargaining Solution为什么是通过maximize Nash product,也就是下面的乘积形式，

为什么不会是其他形式？比如sum的形式