A theoretical proof that no algorithm using a limited number of statistical queries can solve a problem better than a certain threshold.