Comment Comment by mattr03 https://github.com/openai/math/blob/7ef5c0cc5ca4b0e072b7a050...looks like the real proof is in this file parent mattr03 5 days ago
looks like the real proof is in this file