We prove that in formal dimension \(\le 20\) the Hilali conjecture holds, i.e. that the total dimension of the rational homology bounds from above the total dimension of the rational homotopy for a simply connected rationally elliptic space.

中文翻译：

---

验证希拉里猜想直到形式维度20

我们证明，在形式维\（\ le 20 \）中，Hilali猜想成立，即，对于简单连接的有理椭圆空间，有理同构的总维从有理同伦的总维之上。