Hi guys, is there anything different in the definitions of sup and inf when we are dealing with decreasing functions? Thanks