Optimality: $r_{7}\le d_{7}/(2(1+d_{7}))$ · Prove2Me

P

Initializing...

Optimality: $r_{7}\le d_{7}/(2(1+d_{7}))$ · Prove2Me