Write the precise definition for Time Value of an American Call Option wit Strike Price X. Prove, with complete details, that Time Value of American Call Option reaches its maximum when S(t) = X. You must prove anything you used in proving this fact.