Proving the margin of error of a block timestamp
Block timestamps are whatever time the miner wants to put in there, within some loose bounds, so there isn't a real guarantee.

For more info on what those bounds are, check out this answer:


https://bitcoin.stackexchange.com/a/917/18196