continuous_at_left_nondecreasing
deleted comment