アルハンゲルスキーの不等式です（カタカナで書いておけば検索した時にこのブログがヒットするようになるかなと思って加筆しました）。 Beautiful Inequalityと言われているらしいです。日本語で読める証明って結構探さないとない（ってかあるの？）と思うの…