Monotonicity of a Key Function Arised in Studies of Nematic Liquid Crystal Polymers

We revisit a key function arised in studies of nematic liquid crystal polymers. Previously, it was conjectured that the function is strictly decreasing and the conjecture was numerically confirmed. Here we prove the conjecture analytically. More specifically, we write the derivative of the function into two parts and prove that each part is strictly negative.