Carbery's Almost-Orthogonality Inequality in Lp
Prior state unknown→disproved
exponent 2 fails for every p > 2; the sharp exponent p' form is proved for integer p ≥ 2
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review