A,B⊆(−∞,0] ise sup(AB)=infA⋅infB oldugunu gosteriniz.
Not: Demek ki her zaman sup(AB)=sup(A)⋅sup(B) degilmis, (bu ispat bir onceki cumleyi gerektirmiyor aslinda fakat bir iki ornek ile gosterilmesi kolay) hatta bazi ozel durumlarda, sekil 1-yukarisi, infimum carpimlarina bile esit olabiliyor.
Aslinda bu bizi ortaogretilmsel olarak negatifler icin esitsizlik carparken esitsizliklerin yon degistirmesi gibi gibi...