<=(sx/sy)/ xF.