По сути (если я правильнопонял), имеется

где

,

. И спрашивается, можно ли при всех достаточно малых

гарантировать неотрицательность матожидания

.
Возможно, стоит попробовать использовать срезки

и то, что для них:

А значит, соответствующее матожидание тоже с точностью до второго порядка малости по

будет совпадать с

. Ну и как-нибудь потом воспользоваться теоремами о предельном переходе под интегралом Лебега...