  We prove Tamura's theorem on partitions of the set of positive integers (a
generalization of the more famous Rayleigh-Beatty theorem) using the positive
$\mathbb{S}^1$-equivariant symplectic homology.
