Thanks for the comment. I changed the statement to the conjectured (slightly stronger) version with round-up.
changed
Thanks for the comment. I changed the statement to the conjectured (slightly stronger) version with round-up.