La confusión surge de dos significados diferentes de "infinito" aquí.
timestamptipos aceptan valores especiales parainfinityy-infinity.- Los tipos de rango tienen un concepto general para rangos sin límite inferior/superior. Las funciones para probarlo se llaman
lower_inf()yupper_inf(), pero realmente están probando "sin límite" en el rango. Rangos sin límite superior/inferior include el valorinfinity/-infinityparatimestamprespectivamente.
Tal vez esas funciones realmente deberían llamarse algo así como lower_nobound() y upper_nobound() para evitar confusiones...