Пусть у нас есть матрица

c характеристическим многочленом вида

, тогда в ЖНФ все клетки будут иметь на диагонали

. Если обозначить за

количество жордановых клеток порядка

, то

, где

.
Это ещё далеко не решает задачу. С размерами жордановых клеток вопросов действительно никаких -- проблема в том, чтобы построить базис. А с этим в любом варианте морока (даже если отвлечься от довольно существенных здесь погрешностей округления).
И при доказательстве существования -- это тоже не всё. Это очевидно только в том случае, что существование жордановой формы уже известно, что вовсе не тривиально.