2025 IMO Problems/Problem 3
Revision as of 21:57, 15 July 2025 by Renrenthehamster (talk | contribs)
Let denote the set of positive integers. A function
is said to be bonza if
divides
for all positive integers
and
. Determine the smallest real constant
such that
for all bonza functions
and all positive integers
.