>>901
r/s はmの約数の調和平均Hになってるみたい。
また、約数の相乗平均G=√m も証明できるので

H=r/s≦√m ってのは証明できた。 下限はまだ