Tan–Zhou's Hausdorff-dimension conjecture for Lüroth approximation sets

Let $L(\psi)$ be the set of points defined by the Lüroth approximation condition associated with a function $\psi:\mathbb{N}\to(0,1]$, and let $\underline{\tau}_\psi$ denote the corresponding lower approximation exponent. Tan–Zhou's conjecture. For every function $\psi:\mathbb{N}\to(0,1]$,

$$\dim L(\psi)=\frac{1}{1+\underline{\tau}_\psi}.$$

This is proposed as an analogue of a result of Dodson. The statement is false without a monotonicity assumption, as the paper gives examples with the same value of $\underline{\tau}_\psi$ but Hausdorff dimension zero; the monotone version is therefore the surviving open conjecture.