Quantitative merging for time-inhomogeneous Markov chains in non-decreasing environments via functional inequalities | Arena Library | Arena