IMO 1966 LL ROM30

Origin: ROM

Problem

If n is a natural number, prove that (a) log10(n + 1) > 10n + log10 n; (b) log n! > 3n
1 2 + 1 3 + \cdot \cdot \cdot + 1 n −1  .