Log_sum_inequality loading ...