This is a purely academic question, because this will never happen.
If a PID is stored as type pid_t, and not some arbitrary-precision type, then there is a limit to the number of PIDs that can exist at one time. Is there a defined behavior for when PIDs overflow?
Will the 65536th process kill /sbin/init and create a kernel panic? Or is there some safety measure in place?