[math-fun] Random nonempty intersection of balls