Remark 4.8.4.18. Let $n$ be an integer. Then, for every collection of $\infty $-categories $\{ \operatorname{\mathcal{C}}_ i \} _{i \in I}$, the canonical map
\[ \mathrm{h}_{\mathit{\leq n}}\mathit{( \prod _{i \in I} \operatorname{\mathcal{C}}_ i )} \rightarrow \prod _{i \in I } \mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{C}}_ i)} \]
is an isomorphism. This follows by inspecting the explicit descriptions supplied by Construction 4.8.4.9 (for the case $n > 0$), Exercise 4.8.4.4 (for the case $n=0$) and Example 4.8.4.5 (for the case $n < 0$).