Rewrite ceiling functions
Homework 10 attempted solutions