ヤングの畳み込み不等式
事実として、R は局所コンパクトアーベル群(英語版)、したがって単模であり、ルベーグ測度がそのハール測度を与えるから、事実これは先の不等式を一般化するものである。