From: sci.math on
P = NP if and only if there exists a Turing machine T and a
natural number k such that <j>(ri) < nk,