But in the general case the equation factors to (t - 1) (∑_ {i=1}^ {n-1} t^i - p/ (1-p)) = 0 and the right factor has exactly one nonnegative root, which is less than 1 iff n > 1/ (1-p). How does one ...