Floor function proof (probably easy)

Printable View