maximum (x - cos x * sin x)/(2 x) between 0 and pi