张益唐证明存在无穷多个素数对相差都小于7000万而不是无穷，这向证明孪生素数猜想迈出了最关键的一步。这个非无穷很漂亮，如

如果懂得欣赏的化。