Exact upper bound for copulas with a given diagonal section

We answer a 15-year-old open question about the exact upper bound for bivariate copulas with a given diagonal section by giving an explicit formula for this bound. As an application, we determine the maximal asymmetry of bivariate copulas with a given diagonal section and construct a copula that attains it.