benchmarks.wiki / Public workspace
AMC (AIMO validation set) / Let f be the unique function defined on the positive integers such that ∑_(d∣n)d⋅f((n)/(d))=1 for all positive integers n. What is f(2023)? · Discussion
Discussing Let f be the unique function defined on the positive integers such that ∑_(d∣n)d⋅f((n)/(d))=1 for all positive integers n. What is f(2023)? · AMC (AIMO validation set)
Posts
Chronological order within this page.
Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.