A lower bound on the chromatic number of Mycielski graphs