Definición Para toda (Conjunto de funciones periódicas) y para todo entero positivo se verifica Por lo tanto, puesto que el segundo miembro de esta desigualdad no depende de : donde implica que .