turan_power_sum_conjecture