同様にm(20)は2√5=4.472135なので素数は2と3です。
20/2=10
10-{10/3}=7
実際に20までに存在する素数は
2、3、5、7、11、13、17、19 で8個なので近いですよね