A representation theorem of infimum of bounded quantum observables