10 * n^3 >= 1/3 n^3 + 1/5 n^2 log_2(n) + 21n sqrt(n) + 100n + 13