A weak-L^p Prodi-Serrin type regularity criterion for a bioconvective flow

We determine regularity criteria for weak solutions of a bioconvective flow in a bounded three-dimensional domain. We show that the weak solution (Formula presented.) is strong on [0, T] if either (Formula presented.) or (Formula presented.) is bounded from above by a specific constant, where (Formula presented.) and (Formula presented.). No additional condition for (Formula presented.) is required.