yán / jiū / rén / yuán / zhèng / zài / zhèng / míng / gāi / hán / shù / de / tū / xìng研究人员正在证明该函数的凸性。The researchers are proving the convexity of this function.