分からない問題はここに書いてね452

[0061 １３２人目の素数さん 2019/04/15(月) 22:18:38.01 ID:prMBP5dO]

x＞0に対してπ(x)をx以下の素数の個数、すなわち素数関数とするときπ(x)≧logx/(2log2)が成り立つらしいんですが、どうすれば示せますか？
[x]をガウス記号としてπ(x)≧log[x]/2log2まではわかったんですが、ここからどうしたらガウス記号を外せるのか知りたいです