Don't be surprised if the Betta eats the shrimp if he can catch them. Nerite snails work well in Betta set ups because they don't have long antennae that way around like most other snails do. A single oto isn't a good choice as they do better in groups and a 5g is just too small. Hope the shrimp work out.