Let f,g:Z→[0,∞) be two functions such that f(n)=g(n)=0 with the exception of finitely many integers n. Define h:Z→[0,∞) by h(n)=max{f(n−k)g(k):k∈Z}. Let p and q be two positive reals such that 1/p+1/q=1. Prove that n∈Z∑h(n)≥(n∈Z∑f(n)p)1/p(n∈Z∑g(n)q)1/q.