SRM 697 div2 550 推公式

题意：

给50个数ai，这些数都是2幂次数，且这些数都大于1。现在对于P = mul(ai), 是否存在bi，对于每个bi有ai*bi整除P。

思路：

化简之后就变成了S = sum(ai的幂次），是否存在bi使得（bi*ai的幂次）被S整除。

赛中的时候想了高斯消元，发现并不能做，因为系数比较多而且无法控制ai的幂次必须大于等于1。

实际上这是一道公式题。

易得ai >= S / bi

故a1 + a2 +… + an >= S/b1 + S/b2 + … + S/bn

1/b1 + 1/b2 + … + 1/bn <= 1

公式推得最巧妙的就是这个>=，把整除条件化简。