Physlib.Mathematics.HasTemperateGrowth

Let $E$ be a real normed space and $F$ be a real normed commutative algebra. Let $s$ be a finite set and $\{f_i\}_{i \in s}$ be a family of functions from $E$ to $F$. If each $f_i$ has temperate growth for all $i \in s$, then the pointwise product $\prod_{i \in s} f_i$ also has temperate growth.