The sharp constant for the terminal leave of random triangle removal (triangle case of the Joos-Kühn conjecture)

Theorem 1.1: for uniform triangle removal from $K_n$, $\mathbb E[(F_n/n^{3/2}-1/(2\sqrt2))^2]\to0$; hence $F_n/n^{3/2}\to1/(2\sqrt2)$ in probability and $\mathbb E F_n/n^{3/2}\to1/(2\sqrt2)$. The paper says it does not give the sharp constant for other starting graphs, for general hypergraph removal (the rest of Joos-Kuhn Conjecture 16.2), or a fluctuation law.

Theorem 1.1: for uniform triangle removal from $K_n$, $\mathbb E[(F_n/n^{3/2}-1/(2\sqrt2))^2]\to0$; hence $F_n/n^{3/2}\to1/(2\sqrt2)$ in probability and $\mathbb E F_n/n^{3/2}\to1/(2\sqrt2)$. The paper says it does not give the sharp constant for other starting graphs, for general hypergraph removal (the rest of Joos-Kuhn Conjecture 16.2), or a fluctuation law.