1: \begin{proof}

2: For some constant $C>0$ to be chosen momentarily, define the function $\Gamma:[0,\infty)\to\mathbb{R}$, 

3: \begin{align}

4: \Gamma(t)\coloneqq \int\limits_{c}^{d}\eta (u(x,t)|\bar{u}(x,t))\,dx -Ct.

5: \end{align}

6: Apply \eqref{rigorous_dissipation_rate_calc_middle_part_ineq} to the case when $h_1(t)=c$ and $h_2(t)=d$ for all $t$. The integrand on the right-hand side of \eqref{rigorous_dissipation_rate_calc_middle_part_ineq} is bounded. Thus, there exists some constant $C>0$ such that $\Gamma(t)\geq\Gamma(s)$ for almost every $t$ and $s$ verifying $t<s$. This means that there exists a function which agrees with $\Gamma$ almost everywhere and is non-increasing. This implies that $\Gamma$ has approximate left and right  limits. In particular, we conclude that the approximate right- and left-hand limits \eqref{ap_right_left_limits_exist_44}

7: exist for all $t_0\in(0,\infty)$ and verify \eqref{left_and_right_limits_order}.

8: Note the approximate right-hand limit also exists for $t_0=0$ and because \eqref{rigorous_dissipation_rate_calc_middle_part_ineq} holds for the time $a=0$, the approximate right-hand limit verifies \eqref{right_limit_at_zero} at time zero.

9: 

10: \end{proof}

11: