Generalization error as U shape curve with respect to model complexity (bias variance tradeoff))

Is there any work mathematical rigorously prove that the generalization error for certain learning problems exhibits U shape curve with respect to model complexity (bias variance tradeoff)? Any reference