Yeah the formula is counter intuitive, but the results do make sense
You expect earnings to grow. Leading P/E will be calculated with the same price but a higher number in the denominator than the used for Trailling P/E, so it is expected for Leading P/E to be lower in the case of rising earnings