>>507
ルート単体ならそれでもいいんだけど、和だと小数部分を足すと1を超える時がある。
だから
2<√5<3
3<√15<4
この2式をまとめて
5<√5+√15<7
これを2で割ればOK。

余談だけど、√5+√15の和は6,009・・・でｷﾞﾘｷﾞﾘ6を超える。