The rigorous condition for getting the answer is:
<p>Everyone is smart.<br>
Everyone knows everyone else is smart.<br>
Everyone knows everyone knows everyone else is smart.<br>
Everyone knows everyone knows everyone knows everyone else is smart.<br>
...</p>

Without these conditions, the conclusion can't be rigorously reached.