The rigorous condition for getting the answer is:
Everyone is smart. Everyone knows everyone else is smart. Everyone knows everyone knows everyone else is smart. Everyone knows everyone knows everyone knows everyone else is smart. ...