[porphyra]

There's not even a proof that P != EXPTIME haha

EDIT: I am a dumbass and misremembered.

[doc_manhat]

I think there is right? It's been a long time but I seem to remember it following from the time hierarchy theorem

[LPisGood]

I thought there was some simple proof of this, but all I can think of is time hierarchy theorem.