Individual rationality (source code)

= Individual rationality
{title2=$u_i\geq0$}

Individual rationality means participation yields at least the outside-option utility, normalized here to zero. A risk-neutral zero-value bidder with nonnegative payments and no positive-valued allocation must have zero expected payment and utility if participation is individually rational.