Comment by clooper

P obviously can't be infinite, even in theory, if you want the computation to terminate.