Egy minden valós számra értelmezett $f$ függvényről tudjuk, hogy minden $a$-hoz van olyan $b>a$, hogy $a$ és $b$ között a függvény monoton. Következik-e ebből, hogy $f$ monoton az egész számegyenesen ?