Remark 4.8.5.8. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. Then $F$ is an equivalence of $\infty $-categories if and only if it is categorically $n$-connective for every integer $n$. This is a restatement of Theorem 4.8.4.1.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$