Removal of the fourth-root factor in the bounds of Lemma 4
Fourth-root-factor conjecture. In both bounds for N3N_3N3 and N4N_4N4, the factor