(1/2013×1/2012×1/2011×…×1/2×1)∧2014×(2013×2012×2011×…×2×1)∧2