Using Big O notation for proofs.

Use only the definition of O(f(n)) to prove that the following statements are true:

1. (6n^3*log n + 1)/2n +1000 = O(1)
2. nlog n + n^3/2 = O(n^3/2)

Please view the attachment below for the full question.