2.7.2. Sharpness of "cut-off" a0c0