Show that 8x^3 + 12x + 100logx=O(x^3).