0
Proposal: Combine ceiling-function and floor-function, maybe into ceiling-and-floor-functions.
This feels similar to limsup-and-liminf: yes, there are results that deal exclusively with one of the two (for instance, Fatou's Lemma and liminf; or questions about Waring's problem and floors), but th...