min[ cos(10x)/x, x>0 ]