>>33
間違っていない。
x<am/x<x+1
の左側の不等式と
am/x<mから
x<am/x<mとなる。

>>34
一応はずした。①の範囲内にある素数の数を求めるときに
aをa<xを満たす素数としてよいという証明は省きたい。