> Более того, данная оценка всё равно исходит из излишне упрощённой модели, ибо
> не учитывает, например, меру множества свободных идентификаторов процессов (а именно из
> этого множества, включающего искомый PID, и будет получен идентификатор новым процессом).

https://github.com/spotify/linux/blob/master/kernel/pid.c
last_pid < 32000 ? last_pid+1 : last_pid = START_OVER; some_scan_for_free_pid

т.е. процессы, в _одном_ неймспейсе, должны сцапать 32000 идентификаторов, прежде чем  появится возможность коллизии.