题解的正确性

为什么这个题解它不用排序？为什么可以下定论 ： “推出最大的金币数 ans=a1* a2* a3 ....* a(n+1)/aj/bj”？如果 $a$ 都足够小，这个 $b_j$ 足够大，而又有一个 $b_k$ 很小，答案就不一定正确了吧。

也许我想的是错的。请指正！