Firoozbakht予想から導かれるClamer予想により素数定理p_n<n×log(p_n)が証明できた