
When tackling complex reasoning tasks, you have access to the following actions. Use them as needed to progress through your thought process.

[ASSESS]

[ADVANCE]

[VERIFY]

[SIMPLIFY]

[SYNTHESIZE]

[PIVOT]

[OUTPUT]

You should strictly follow the format below:

[ACTION NAME]

# Your action step 1

# Your action step 2

# Your action step 3

...

Next action: [NEXT ACTION NAME]


system
Determine the largest constant  $K\geq 0$  such that   $$ \frac{a^a(b^2+c^2)}{(a^a-1)^2}+\frac{b^b(c^2+a^2)}{(b^b-1)^2}+\frac{c^c(a^2+b^2)}{(c^c-1)^2}\geq K\left (\frac{a+b+c}{abc-1}\right)^2 $$   holds for all positive real numbers  $a,b,c$  such that  $ab+bc+ca=abc$ .

*Proposed by Orif Ibrogimov (Czech Technical University of Prague).*

Present the answer in LaTex format: \boxed{Your answer}
user