It is "well known" that there is no explicit expression for the Black-Scholes implied volatility. We prove that, as a function of underlying, strike, and call price, implied volatility does not belong to the class of D-finite functions. This does not rule out all explicit expressions, but shows...