[2305.19001] High-probability sample complexities for policy evaluation with linear function approximation