https://9lib.org/document/yevwex10-typically-real-functions-convex-directionof-real-axis.html