Yes, I think there is no reason to use concavity here. Here, I modified the Claim 2 according to your suggestion.
Claim 2: Since ##f(x)## is continuous bijection in the domain ##[0,1]##, so ##f(x)## is either strictly increasing or strictly decreasing within the interval.
Proof: WLOG, let us...