Falsifiability

Redone proof and inequality
Was wrong