P
Initializing...
Additive normalized Leindler inequality for a pointwise majorant · Prove2Me