20170604

x を x^(x+1)=(x+1)^x かつ x≧0 を満たす実数とする. 冪は実数冪とする.
ln(10) は x に近いが等しくはない.
1/107＜ln(10)-x＜1/106.