
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
For any $x\_1$ and $x\_2$ ($x\_1 \neq x\_2$) in the domain of function $f(x)$, the following conclusions hold:

1. $f(x\_1 + x\_2) = f(x\_1)f(x\_2)$
2. $f(x\_1 \cdot x\_2) = f(x\_1) + f(x\_2)$
3. $\frac{f(x\_1) - f(x\_2)}{x\_1 - x\_2} < 0$
4. $f(\frac{x\_1 + x\_2}{2}) > \frac{f(x\_1) + f(x\_2)}{2}$

When $f(x) = \ln x$, the sequence numbers of the correct conclusions are _______.

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