Your Lemma doesn't hold if the time to execute one instruction is dependent on N - which is pretty much the entire point the blog post makes.