ある経済の生産関数が次の固定係数型で表されている。

$Y=\min(0.25K,\ 5L)$

（$Y$：産出量、$K$：資本量、$L$：労働量）

この経済の平均消費性向は 0.85 で一定である。資本が常に完全に利用されるとき、ハロッド＝ドーマー・モデルにおける保証成長率はいくらか。