solve n*[log_2(n)+20]<=n^2