Note:I think there is a typo in the OP, the correct value is $\frac{1}{2}\log 3$. Not a big deal.
Recall the formula for the radius $\rho$ of the inscribed circle in a triangle of sides $a$, $b$, $c$ in the spherical geometry (sphere of radius $R$)
$$\tan\frac{\rho}{R}= \sqrt{\frac{\sin\frac{s-a}{R}\cdot \sin\frac{s-b}{R}\cdot\sin\frac{s-c}{R}}{\sin\frac{s}{R} } }$$ (see Todhunter --Spherical Trigonometry)
To get the radius of the inscribed circle in the hyperbolic geometry ( curvature $= R^2 =-1$), put $R=i$ in the above formula. We get
$$\tanh \rho = \sqrt{\frac{\sinh(s-a)\cdot\sinh(s-b)\cdot\sinh(s-c)}{\sinh s}}$$
Now, the function $t \mapsto \log \sinh t$ is concave on $(0, \infty)$. Therefore, the right hand side in the above equality is $\le \sqrt{\frac{\sinh^3(\frac{s}{3})}{\sinh s}}$. This is a strictly increasing function of $s$ on $(0, \infty)$ with limit $\frac{1}{2}$ at infinity. Therefore we have
$$\rho \le \tanh^{-1} \frac{1}{2}= \frac{1}{2}\log 3$$
We do have equality for the ideal triangles (sides $=\infty$).