Counting eigenvalues below the lowest Landau level | Synapse