正の実数の組 $(x_1,x_2,\dots,x_5)$ に対し, $a_1=b_1=1
$ および $n=1,\dots,5$ について以下を満たす実数の組 $(a_1,a_2,\dots,a_6,b_1,b_2,\dots,b_6)$ を考えます.
$$a_{n+1}=x_n a_n-n b_n,\quad b_{n+1}=x_n b_n$$
$b_6=100$ となるとき, $a_6$ として取りうる値には最大値が存在し, それを $M$ とします. $M$ の最小多項式 $P$ が存在するので, $P(500)$ を求めてください. ただし, $P$ の最高次の係数は $1$ とします.