>>585
> F(1/√3)を求める
必要がなさそうだが。