M-Lipschitz 함수 f : [0, 1]d → R에 대해 L2 거리에서 단조성을 검사하는 부분선형 쿼리 복잡도의 알고리즘을 제공한다. 이를 위해 지향성 Poincaré 부등식 distmono 2(f)2 ≤ C E[|∇−f|2]을 증명한다.
