〔補題〕
A>0 とする。
　2T/(A^2 + T^2) = 1/A - (T-A)^2 /{A(A^2 + T^2)} ≦ 1/A,
　等号成立は |T| = A のとき。

>>500
>>516
　パスカルの定理。

>>506
　b>0 として　P(a,b)　Q(a±2/b, b)　△OPQ = (1/2)b･PQ,

>>509
>>514
　限りなく n!/e　または　1/e,