Given 1. s2 - 2s > 3 + 5s2 .​