تابع نانزولی

non-decreasing function