theorem Th2: :: FINANCE5:5

for k being ExtReal holds ExtREAL \ [.-infty,k.] = ].k,+infty.]