Does hereditarily separable imply sequentially separable for C_p(X)?
Determine whether the function space C_p(X), consisting of all real-valued continuous functions on a Tychonoff space X endowed with the topology of pointwise convergence, is sequentially separable under the assumption that C_p(X) is hereditarily separable.
References
Suppose that $C_p(X)$ is a hereditarily separable space. Is it true that $C_p(X)$ is sequentially separable?
— Velichko's notions close to sequentially separability and their hereditary variants in $C_p$-theory
(2406.03014 - Osipov, 5 Jun 2024) in Section 4 (Open questions), Question 4.6