BDT Holder: Với mọi số nguyên dương ta luôn có:
$(a_{1.1}^n+a_{1.2}^n+a_{1.3}^n+...+a_{1.m}^n).(a_ {2.1}^n+a_{2.2}^n+a_{2.3}^n+...+a_{2.m}^n)......(a _{n.1}^n+a_{n.2}^n+a_{n.3}^n+...+a_{n.m}^n) \ge (a_{1.1}.a_{2.1}....a_{n.1}+a_{1.2}.a_{2.2}....a_{ n.2}+....+a_{1.m}.a_{2.m}....a_{n.m})^n$