>>714 の解法では、f'(x)=0の解は求まるが、
そのときのf(x)の値が <1 であることの証明はやっぱり簡単ではないような