>>368
Wolframでのやり方がわからないので
Rで御神託による近似数値解を算出
> optimise(Vx,c(6.5,7), maximum = TRUE, tol=1e-16)
$maximum
[1] 6.708204

$objective
[1] 11.97654

> optimise(Vx,c(7.5,8), maximum = TRUE, tol=1e-16)
$maximum
[1] 7.615773

$objective
[1] 11.97654

東大卒かエリート高校生による厳密解を希望します。