1/7^x > 100^(1-2x)