Template:Arithmetic function direct product upper bound