ceiling function of 1