>>716
(1) O.K.

(2) それが示せれば m! e - 1 < F(m) < m! e となり、
整数性から証明が終わるから。