Seriously, there's no obvious way to do this in a "quick run-through" that is quicker than what we wrote. Look at the calculations in our article on arXiv (and if necessary, look up the 1962 Lorenz article and find the relevant equations). 2.9013 is actually an abbreviation for a recurring decimal representation of a rational number(!), which on its own ought to be a sign that something is wrong.
Thanks; the closest a quick search threw up was 22987/7923 = 2.9013000126 which confirms the bogosity - I was just interested to know how the bogosity was being justified.
Seriously, there's no obvious way to do this in a "quick run-through" that is quicker than what we wrote. Look at the calculations in our article on arXiv (and if necessary, look up the 1962 Lorenz article and find the relevant equations). 2.9013 is actually an abbreviation for a recurring decimal representation of a rational number(!), which on its own ought to be a sign that something is wrong.