Skip to content / Đến nội dung
ThichHocToan.com

IMO 1959–1966 - Longlisted Problems (individual years unknown) Question 30

IMO Shortlist · IMO 1959–1966 - Longlisted Problems (individual years unknown)

Question 30

(ROM) If $n$ is a natural number, prove that
(a) $\log_{10}(n+1)>\frac3{10n}+\log_{10}n$;
(b) $\log n!>\frac{3n}{10}\left(\frac12+\frac13+\cdots+\frac1n-1\right)$.