No arbitrage assumption implies the differentiability of derivative pricing function | Arena Library | Arena