If f(x)=xloge1234−tan1∘(tan1∘)x+loge123, x>0, then the least value of f(f(x))+f(f(x4)) is:
Solutions · 1
Official solution
Writing f(x)=Cx−AAx+B (a Mbius involution), one finds f(f(x))=x for all x.
\[f(f(x))+f\!\left(f\!\left(\frac4x\right)\right) = x+\frac4x \ge 2\sqrt{x\cdot\frac4x} = 4 \quad (\text{AM--GM}).\]