7n^3 < 5^n