Induction/3^n \geq n^4/Exercise/Solution