\displaystyle \frac{f(1+\sqrt{2}/2)}{2}