AFM.NR.4.5: Prove statements involving the floor and ceiling functions.