I am currently reading the appendices of Higher Topos Theory, and I was puzzled by Lurie's proof of lemma A.2.6.7 (I can not make sense of the end of the proof.)

He uses this result to prove Jeff Smith's theorem, but the proof on the n lab does not seem to use such a technical preliminary result.

So I am wondering why does Lurie's proof is this much more complicated? And, if the added complexity is somehow necessary for the proof to work, could someone point out the "mistake" in the n lab and give reference?