Floors of fractions

Inspired by https://youtu.be/hfzxkHGME50

Vibe coded with GitHub Copilot (Raptor mini (Preview))

x x/2 x/3 x/5 ∑ = ⌊x/2⌋ + ⌊x/3⌋ + ⌊x/5⌋ ∑ - x