В теореме Федерера оценивается “массивность” множества критических значений -гладкого отображения, действующего из в - выясняется, при каких это множество имеет нулевую -мерную меру Хаусдорфа. Точность условия, связывающего величины , была установлена ранее в случае . В работе строится пример, показывающий, что и при $n