(0, pi) 中存在 c 使 sin c = c/3 ?用 TVI。