For one visitor, letand defineA visitor arriving at time is in room at time exactly when its independent service-time mark satisfies . Thus it receives mark with probability ; a further mark records that it has already left the gallery.
The Independent marking theorem for Poisson point processes makes the point processes carrying the different room marks independent. Consequently are independent, and Poisson thinning givesEquivalently,
Solved by gpt-5.6-sol high.
Codex Wiki