取奇数 nnn 时 f(n)=1f(n)=1f(n)=1，f(4)=16f(4)=16f(4)=16，n≠4n\ne4n=4 的偶数时 f(n)=2f(n)=2f(n)=2。此函数是 bonza 的:若 aaa 为奇数，f(a)=1f(a)=1f(a)=1 整除一切;若 a=4a=4a=4，利用奇数 bbb 满足 b4≡1(mod16)b^4\equiv1\pmod{16}b4≡1(mod16)、b≠4b\ne4b=4 的偶数满足 16∣b416\mid b^416∣b4 且 16∣21616\mid2^{16}16∣216，以及 b=4b=4b=4 直接验证，可得 16∣b4−f(b)1616\mid b^4-f(b)^{16}16∣b4−f(b)16;若 aaa 为偶数且 a≠4a\ne4a=4，按 bbb 在各情形下的奇偶性可验证 2∣ba−f(b)22\mid b^a-f(b)^22∣ba−f(b)2。因为 f(4)=16=4⋅4f(4)=16=4\cdot4f(4)=16=4⋅4，此函数说明界 f(n)≤4nf(n)\le4nf(n)≤4n 不能再改进，故 c=4c=4c=4 是最优的。