p=4.2: C_omega ~ 8.8246
Lemma E: sup |e_t|/(t^2 hat_omega) ~ 1.486  (proof constant C_M = 968.0)
Lemma S: min deficit/E hat_omega over random G ~ 0.1988
Lemma S: all-negative two-point Y at (-1/2, -2): deficit/E hat_omega = 0.128245
proof constant c_1 = 2.436e-03
c'_p=0.15603 j_p=4.5125 C_T=2.800e+04 -> lambda_0 = (c_1/(2 C_T))^(2/(p-4)) = 2.433e-74
with the numerically observed constants: lambda_0 ~ 5.480e-29
p=4.5: C_omega ~ 7.7159
Lemma E: sup |e_t|/(t^2 hat_omega) ~ 1.256  (proof constant C_M = 968.0)
Lemma S: min deficit/E hat_omega over random G ~ 0.5915
Lemma S: all-negative two-point Y at (-1/2, -2): deficit/E hat_omega = 0.448619
proof constant c_1 = 1.015e-02
c'_p=0.04244 j_p=1.5856 C_T=3.617e+04 -> lambda_0 = (c_1/(2 C_T))^(2/(p-4)) = 3.872e-28
with the numerically observed constants: lambda_0 ~ 5.225e-10
p=4.8: C_omega ~ 7.0472
Lemma E: sup |e_t|/(t^2 hat_omega) ~ 1.106  (proof constant C_M = 968.0)
Lemma S: min deficit/E hat_omega over random G ~ 1.1370
Lemma S: all-negative two-point Y at (-1/2, -2): deficit/E hat_omega = 0.959293
proof constant c_1 = 2.484e-02
c'_p=0.01929 j_p=0.9068 C_T=4.551e+04 -> lambda_0 = (c_1/(2 C_T))^(2/(p-4)) = 3.893e-17
with the numerically observed constants: lambda_0 ~ 8.170e-06
