2.5.3

设 $K$ 服从 $(1, 6)$ 上的均匀分布，求方程 $x^2 + Kx + 1 = 0$ 有实根的概率。