Requirements for scalar UDF preimage

`ScalarUDFImpl::preimage` allows defining "preimage" (range of input values) for function outputs, which can be used to rewrite binary comparison expressions.

The rewrite rules for equality (`=`) or inequality (`!=`) seem intuitive. But `f(x) <= c` would also be rewritten to `x < u` where `u` is the (exclusive) upper bound. (Here is the [code](https://github.com/apache/datafusion/pull/19722/changes#diff-3f015bb6ca85b8af8daaef1f0959e0b49ec6bcbcf675b9ea2d87d52a95893773).) I'm not sure if this holds in general. Does this assume that the function must be monotonically non-decreasing?

I was trying to see if the documentation mentions monotonicity for scalar UDFs but I couldn't find it. Let me know if I misunderstood anything!

Inizia dal punto di ingresso ScalarUDFImpl::preimage e dalle regole di riscrittura per l’uguaglianza e la disuguaglianza referenziate in pull request 19722. Verifica se la documentazione esistente sulle UDF scalari tratta la monotonicità o i requisiti di preimage. Il lavoro è completato quando vengono documentate le assunzioni richieste e viene chiarito se la riscrittura <= è valida in generale.

Scritto dal modello di indicizzazione a partire dal testo della issue.