Before revision:  The known lower bound, due to Elekes 2 , is C _{SzTr} \ge 2^{-2/3} = 0.63.
After revision:  The known lower bound, due to Elekes , is C _{SzTr} \ge 2^{-2/3} = 0.63.