Arnold's conjecture for non-degenerate Hamiltonians

Let $(M,\omega)$ be a compact symplectic manifold and let $\varphi\in \mathrm{Ham}(M,\omega)$ have non-degenerate fixed points. Write $\mathrm{Fix}(\varphi)$ for its fixed-point set and $H^i(M,\mathbb{Q})$ for singular cohomology.

Arnold's conjecture for non-degenerate Hamiltonians.

$$\#\mathrm{Fix}(\varphi)\geq \sum_{i=0}^{\dim M}\dim H^i(M,\mathbb{Q}).$$

This is the cohomological lower-bound form of Arnold's fixed-point conjecture and is a central motivation for Hamiltonian Floer cohomology. The supplied text gives no resolution status.