כל מה שרצית לדעת על אי-שוויון הלדר:
אי-שוויון הלדר הוא אי-שוויון יסודי באנליזה מתמטית ובמיוחד באנליזה פונקציונלית.
אי-שוויון זה מהווה הכללה משמעותית של אי-שוויון קושי-שוורץ, ומשמש כדי להוכיח את אי-שוויון מינקובסקי.
האי-שוויון התגלה על ידי המתמטיקאי הבריטי לאונרד ג'יימס רוג'רס (אנ') בשנת 1888, ובאופן לא תלוי על ידי המתמטיקאי הגרמני אוטו הלדר (אנ') בשנת 1889.
ניתן להוכיח את אי השוויון באמצעות אי-שוויון יאנג או באמצעות אי-שוויון ינסן.