# Limit of the greatest integer number

Hi there,

It is clear that

$\lim_{n\to\infty }\frac{1}{n}\left[\frac{n}{3}\right]=\frac{1}{3}$.
But the problem that I could not get a formal proof!

Thank you.