Вопрос от дилетанта в дифференциальной геометрии.
Пусть

- многообразия Штифеля, т.е. множество

матриц с ортонормированными столбцами, вложенное в

.
Возник следующий вопрос: пусть

- шар радиуса

в

относительно Евклидовой нормы (т.е. нормы Фробениуса).
Показать, что существует абсолютная константа

(не зависящая от

), удовлетворяющая

, где

- площадь на

(ясно, что степень можно уменьшить до

, но это не важно).
Для

неравенство очевидно, для

можно воспользоваться формулой Вейля, дающей явное выражение объема, а что делать в общем случае?