olymmath

ILL 1983

IMO Longlist 1983.

Other problems

Problem 46

Let ff be a real-valued function defined on I=(0,+∞)I = (0,+\infty) and having no zeros on II . Suppose that lim⁡x→+∞f′(x)f(x)=+∞.\lim_{x \to +\infty} \frac{f'(x)}{f(x)}=+\infty. For the sequence un=ln⁡∣f(n+1)f(n)∣u_n = \ln \left| \frac{f(n+1)}{f(n)} \right| , prove that un→+∞u_n \to +\infty as n→+∞.n \to +\infty.