arXiv++ Combinatorics

We define two recursive functions obtained by decomposition of a given interval into four close parts and prove two lemmas which determine features of these functions.