Template:Arithmetic function direct product lower bound

This article gives a lower bound on the value of the arithmetic function [[{{{arithmetic function}}}]] of an in terms of the values for the direct factors. It says that the value for the direct product is bounded from below by the [[{{{numerical operation}}}]] of the values for the direct factors.
View facts about [[{{{arithmetic function}}}]]: (facts closely related to {{{arithmetic function}}}Property "Page" (as page type) with input value "{{{arithmetic function}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process., all facts related to {{{arithmetic function}}}"{{{arithmetic function}}}" is not a number.)
View facts about external direct product: (facts closely related to external direct product, all facts related to external direct product)}
View facts about [[{{{numerical operation}}}]]: (facts closely related to {{{numerical operation}}}Property "Page" (as page type) with input value "{{{numerical operation}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process., all facts related to {{{numerical operation}}}"{{{numerical operation}}}" is not a number.)