Help file for the ceiling function.