Li-Fan Chen says to YSITD
或 from 1 to n (AnXn+Bn)