s<a
a≦15−s

∴s<15−s
とあったんだけど

s≦15−s とはならないですか?