39.
doesn’t invalidate mythos lower-bound but prop 7.1 seems wrong as written.
doesn’t invalidate mythos lower-bound but prop 7.1 seems wrong as written. it tries to prove u(P)=n^(1+o(1)) needing an upper bound on u(P). but prop. 4.2 gives u(P)/n ≥ ½D(T)e^(−C₂d), a lower bound. so log(u(P)/n)≤log D(T) doesn’t follo