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!