Remark 4.8.7.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$. See Remark 4.8.5.11.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$