又感性理解了一下，可以把 $f_n$ 看成 $n\logn$，那大体上确实是凸的。