according to bitcoin developer documentation the lower bound for a blocks timestamp is the median of the previous 11 blocks.
and also according to the documentation the network difficulty is calculated based on the median blocktime of the past 2016 blocks to ensure that the average block is mined every 10 minutes
but if difficulty is calculated by the median blocktime of the past blocks, and the lowest possible timestamp a block can set itself to is the very median timestamp that resulted in the current difficulty, how can the difficulty of the network ever actually decrease?