気分一新で再開しませんか?

nを自然数、xを実数とするとき
 
 [nx] ≧ Σ[k=1,n] [kx]/k

を示せ。ただし[x]はガウス記号である。