div is monotonic