Netting bound with the original 4.8 pairing: P(sample is not a geodesic 3δ/8-sample of F^{cδ}) ≤ N_{δ/8}(F^{cδ}) e^{−n(3/4)cδ V_{δ/8}(F^{cδ})}

Initializing...

Netting bound with the original 4.8 pairing: P(sample is not a geodesic 3δ/8-sample of F^{cδ}) ≤ N_{δ/8}(F^{cδ}) e^{−n(3/4)cδ V_{δ/8}(F^{cδ})} · Prove2Me