Grid-sampled compound Poisson workload bound
ID: grid-sampled-compound-poisson-workload-bound
For nondecreasing compound Poisson input , let and . The second supremum is bounded above by the first. For each , the next grid point is at most later, its input is at least , and it offers at most an extra service. Hence . When the workload is finite almost surely, these inequalities give stationary-tail brackets. If its logarithmic exponential tail rate exists, adding the bounded shift does not change that rate.
New to topics? Read the docs here!