On the infimum of bounded quantum observables