19 + 3 / (1+2p) < 6 * (1+4p) * (1+2p) on p >0