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 2 , is c _{SzTr} \ge 2^{-2/3} = 0.63.