ついでに言うと、20mAとかいう類のLEDだったら、5mAでも10mAでも実用上差はなくて用は成す
気もするけど、正直どうでもいい