Revise lower bounds for Grothendieck's constant#66

jbenbee wants to merge 1 commit intoteorth:mainteorth/optimizationproblems:mainfrom

jbenbee:grothendieckjbenbee/optimizationproblems:grothendieckCopy head branch name to clipboard