solve (n* log[2, n]) - (2.592 * 10^12) = 0