@SirCumference Agreed. When I first learned about
Beatty sequences it took me several pages to prove Beatty's theorem. Back then, the Wikipedia page just stated the theorem without proof (or that it's also called Rayleigh's theorem). A day or so later, it finally clicked that the proof could be reduced to a few lines. :)