sp500が最適解とした時、sp500のレバも最適解となり得るのか