Метафора про отношения

Математик внутри меня бьется головой об стену...

Дана очень сложная функция. У меня есть доказательство, что она убывающая. Но я беру всё бОльшие и бОльшие значения икс, чтобы подставить в функцию, посчитать и убедиться, что значения игрек будут всё меньше и меньше.

Ну вот... зачем?!

В продолжение метафоры: а вдруг функция недоисследована и есть точки разрыва?

Глупо, все функции такого типа одинаковы и они убывающие на всей области определения...