Uniform-sum crossing time below one

ID: uniform-sum-crossing-time-below-one

For independent uniform distribution increments on and , let be the first index at which their partial sum exceeds . First-step analysis gives , hence . Equivalently, is a simplex-volume probability and the tail-sum formula sums to . The strict inequality gives almost surely.

New to topics? Read the docs here!