MathDB
Bounding with factorials and phi function

Source: Turkey National Mathematical Olympiad 2022 P2

December 23, 2022
number theoryfunction

Problem Statement

For positive integers kk and nn, we know kn!k \geq n!. Prove that ϕ(k)(n1)! \phi (k) \geq (n-1)!