TeX source:
f''(x_K)>0