Recall that the Chebyshev polynomial $T_n(x)$ for a positive integer $n$ is, in a formal sense, the polynomial of degree $n$ that "varies the least" over an interval. Specifically, (a suitable scaling of) $T_n(x)$ is the monic polynomial $p$ of degree $n$ that minimizes
$$\sup_{x \in [-1,1]} |p(x)| \; .$$
I am interested in finding a polynomial of degree $n$ that varies the least over an interval, subject to the constraint that the polynomial must have a root at some fixed point. I.e., I would like to find a polynomial $p$ of degree $n$ such that $$p(0) = 0$$ and satisfying $$1 \leq p(x) \leq \alpha_p$$ for all $x \in [1,N]$ with $\alpha_p$ as small as possible. (I'm not sure how important the parameter $N$ is.)
So, that's the question. For those who are interesting, I'll write down my motivation below.
Motivation
My motivation comes from another very natural question. Suppose that I have some random variable $X$ over, say, the integers $0,\ldots, N$, and suppose I know the first $n$ moments of $X$, $M_1,\ldots, M_n$ with $N \gg n$. Given this information, how accurately can we estimate $\Pr[X \neq 0]$ (in the worst case)?
The first observation to make here is that knowing $M_1,\ldots, M_n$ is equivalent to knowing the expectation $\mathbb{E}[p(X)]$ for any polynomial $p$ whose degree is at most $n$. Suppose for simplicity that we just want to use one such expectation to answer this question. What polynomial $p$ do we pick, and how well can we do?
It's clear that $p$ is useless for this purpose if there exist non-zero $k_1,k_2$ with $p(k_1) \leq p(0) \leq p(k_2)$, since then there exist values of $\mathbb{E}[p(X)]$ that do not constrain $p(0)$ at all. So, after shifting and rescaling, we may assume that $p(0) = 0$ and $1 \leq p(k) \leq \alpha_p$ for $k \in \{1,\ldots, N\}$. Such a polynomial yields a multiplicative approximation factor of $\alpha_p$, so our goal is to find the polynomial minimizing $\alpha_p$. The above question is identical, except that I removed the restriction that $k$ must be an integer (which seems reasonable for large $N$).